Context- And path-sensitive memory leak detection

ESEC/FSE'05 - Proceedings of the Joint 10th European Software Engineering Conference (ESEC) and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13)

Volumn , Issue , 2005, Pages 115-125

  Xie, Yichen ^a   Aiken, Alex ^a  

^a Stanford University   (United States)

Author keywords

Boolean satisfiability; Error detection; Memory leaks; Memory management; Program analysis

Indexed keywords

ALGORITHMS; BOOLEAN ALGEBRA; CODES (STANDARDS); ERROR DETECTION; OPEN SYSTEMS; STORAGE ALLOCATION (COMPUTER);

BOOLEAN SATISFIABILITY; MEMORY LEAKS; MEMORY MANAGEMENT; PROGRAM ANALYSIS;

PROGRAM ASSEMBLERS;

EID: 32344440613     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1095430.1081728     Document Type: Conference Paper

References (19)

1. W. Bush, J. Pincus, and D. Sielaff. A static analyzer for finding dynamic programming errors. Software - Practice & Experience, 30(7):775-802, June 2000.
2. T. Chilimbi and M. Hauswirth. Low-overhead memory leak detection using adaptive statistical profiling. In Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems, 2004.
3. A. Chou. Static Analysis for Bug Finding in Systems Software. PhD thesis, Stanford University, 2003.
4. M. Emami, R. Ghiya, and L. Hendren. Context-sensitive interprocedural points-to analysis in the presence of function pointers. In Proceedings of the ACM SIGPLAN 1994 Conference on Programming Language Design and Implementation, 1994.
5. D. Evans. Static detection of dynamic memory errors. In Proceedings of the ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation, 1996.
6. B. Hackett and R. Rugina. Region-based shape analysis with tracked locations. In Proceedings of the 32nd Annual Symposium on Principles of Programming Languages, Jan. 2005.
7. R. Hastings and B. Joyce. Purify: Fast detection of memory leaks and access errors. In Proceedings of the Winter USENIX Conference, Dec. 1992.
8. D. L. Heine and M. S. Lam. A practical flow-sensitive and context-sensitive C and C++ memory leak detector. In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, pages 168-181, 2003.
9. F. Ivancic, Z. Yang, M. Ganai, A. Gupta, and P. Ashar. Efficient SAT-based bounded model checking for software verification. In Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods, 2004.
10. D. Jackson and M. Vaziri. Finding bugs with a constraint solver. In Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis, 2000.
11. D. Kroening, E. Clarke, and K. Yorav. Behavioral consistency of C and Verilog programs using bounded model checking. In Proceedings of the 40th Design Automation Conference, pages 368-371. ACM Press, 2003.
12. W. Landi and B. Ryder. A safe approximation algorithm for interprocedural pointer aliasing. In Proceedings of the ACM SIGPLAN 1992 Conference on Programming Language Design and Implementation, 1992.
13. D. Liang and M. Harrold. Efficient computation of parameterized pointer information for interprocedural analysis. In Proceedings of the 8th Static Analysis Symposium, 2001.
14. E. Ruf. Effective synchronization removal for Java. In Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation, 2000.
15. L. Semeria and G. D. Micheli. SpC: synthesis of pointers in C: application of pointer analysis to the behavioral synthesis from C. In Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design, pages 340-346. ACM Press, 1998.
16. J. Whaley and M. Rinard. Compositional pointer and escape analysis for Java programs. In Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, 1999.
17. R. Wilson and M. Lam. Efficient context-sensitive pointer analysis for C programs. In Proceedings of the ACM SIGPLAN 1995 Conference on Programming Language Design and Implementation, 1995.
18. Y. Xie and A. Aiken. Scalable error detection using boolean satisfiability. In Proceedings of the 32nd Annual Symposium on Principles of Programming Languages, Jan. 2005.
19. Y. Xie and A. Chou. Path sensitive analysis using boolean satisfiability. Technical report, Stanford University, Nov. 2002.