A practical flow-sensitive and context-sensitive C and C++ memory leak detector
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Tracking pointers with path and context sensitivity for bug detection in C programs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Checking system rules using system-specific, programmer-written compiler extensions
OSDI'00 Proceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 4
Automatic mining of change set size information from repository for precise productivity estimation
Proceedings of the 2011 International Conference on Software and Systems Process
Hi-index | 0.01 |
This paper presents a framework designed to ease the process of building GUIs for software productivity tools in Eclipse. This framework provides a general system with which external tools may display graphs and trees within Eclipse and may link these displays to source code. In addition, our framework can retrieve information from Eclipse, passing it back to the user's external tools for further processing. Combining these pieces of functionality gives users an intuitive and powerful interface to existing productivity tools and provides developers an easy way of extending those tools.The paper also presents examples of two program productivity tools -- a memory leak detector and a security vulnerability detector -- which we have successfully integrated with our framework.