A practical flow-sensitive and context-sensitive C and C++ memory leak detector

ACM SIGPLAN Notices

Volumn 38, Issue 5, 2003, Pages 168-181

  Heine, David L ^a   Lam, Monica S ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

Error detection; Memory leaks; Memory management; Program analysis; Type systems

Indexed keywords

ALGORITHMS; CLIENT SERVER COMPUTER SYSTEMS; CODES (SYMBOLS); COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SYSTEM RECOVERY; CONTEXT SENSITIVE LANGUAGES; DATA STRUCTURES; ERROR DETECTION; INTERFACES (COMPUTER); PROGRAM COMPILERS; PROGRAM PROCESSORS; STORAGE ALLOCATION (COMPUTER);

MEMORY MANAGEMENT; OBJECT MANIPULATION TOOLS; RUN-TIME; VERIFICATION;

C (PROGRAMMING LANGUAGE);

EID: 1442337850     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/780822.781150     Document Type: Conference Paper

References (28)

1. J. Aldrich, V. Kostadinov, and C. Chambers. Alias annotations for program understanding. In Proceedings of OOPSLA 2002: Object-Oriented Programming Systems, Languages and Applications, pages 311-330, November 2002.
2. C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In Proceedings of OOPSLA 2002: Object-Oriented Programming Systems, Languages and Applications, pages 211-230, November 2002.
3. C. Boyapati, B. Liskov, and L. Shrira. Ownership types for object encapsulation. In Proceedings of the Thirtieth Annual ACM Symposium on Principles of Programming Languages, pages 213-223, January 2003.
4. J. Boyland. Alias burying: Unique variables without destructive reads. Software-Practice and Experience, 31(6):533-553, May 2001.
5. P. Briggs, K. D. Cooper, T. J. Harvey, and L. T. Simpson. Practical improvements to the construction and destruction of static single assignment form. Software-Practice and Experience, 28(8):859-881, July 1998.
6. W. R. Bush, J. D. Pincus, and D. J. Sielaff. A static analyzer for finding dynamic programming errors. Software-Practice and Experience, 30(7):775-802, June 2000.
7. D. Clarke. An object calculus with ownership and containment. In The Eighth International Workshop on Foundations of Object-Oriented Languages, January 2001.
8. D. Clarke and S. Drossopoulou. Ownership, encapsulation and the disjointness of type and effect. In Proceedings of OOPSLA 2002: Object-Oriented Programming Systems, Languages and Applications, pages 292-310, November 2002.
9. D. G. Clarke, J. M. Potter, and J. Noble. Ownership types for flexible alias protection. In Proceedings of OOPSLA '98: Object-Oriented Programming Systems, Languages and Applications, pages 48-64, October 1998.
10. K. Crary, D. Walker, and G. Morrisett. Typed memory management in a calculus of capabilities. In Proceedings of the Twenty-sixth Annual ACM Symposium on Principles of Programming Languages, pages 262-272, January 1999.
11. N. Dor, M. Rodeh, and S. Sagiv. Checking cleanness in linked lists. In Proceedings of the Static Analysis Symposium, pages 115-134, July 2000.
12. D. Engler, D. Y. Chen, S. Hallem, A. Chou, and B. Chelf. Bugs as deviant behavior: A general approach to inferring errors in systems code. In Proceedings of Eighteenth ACM Symposium on Operating System Principles, pages 57-72, October 2001.
13. D. Evans. Static detection of dynamic memory errors. In Proceedings of the SIGPLAN '96 Conference on Programming Language Design and Implementation, pages 44-53, May 1996.
14. M. Fähndrich and R. DeLine. Adoption and focus: Practical linear types for imperative programming. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pages 13-24, June 2002.
15. D. Gay and A. Aiken. Memory management with explicit regions. In Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation, pages 313-323, May 1998.
16. D. Gay and A. Aiken. Language support for regions. In Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation, pages 70-80, May 2001.
17. D. K. Gifford and J. M. Lucassen. Integrating functional and imperative programming. In ACM Conference on Lisp and Functional Programming, pages 28-38, August 1986.
18. D. Grossman, G. Morrisett, T. Jim, M. Hicks, Y. Wang, and J. Cheney. Region-based memory management in cyclone. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pages 282-293, June 2002.
19. S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pages 69-82, June 2002.
20. R. Hastings and B. Joyce. Purify: Fast detection of memory leaks and access errors. In Proceedings of the Winter USENIX Conference, pages 125-136, December 1992.
21. J. Noble, J. Vitek, and J. Potter. Flexible alias protection. In The 12th European Conference on Object-Oriented Programming, pages 158-185, July 1998.
22. R. O'Callahan. Generalized Aliasing as a Basis for Program Analysis Tools. PhD thesis, Carnegie Mellon University, November 2000.
23. R. O'Callahan and D. Jackson. Lackwit: A program understanding tool based on type inference. In Proceedings of the 19th International Conference on Software Engineering, pages 338-348, May 1997.
24. F. Smith, D. Walker, and G. Morrisett. Alias types. In Proceedings of the Ninth European Symposium on Programming, pages 366-381, April 2000.
25. M. Tofte and J.-P. Talpin. Region-based memory management. Information and Computation, 132(2):109-176, February 1997.
26. P. Wadler. Linear types can change the world. In M. Broy and C. B. Jones, editors. IFIP TC 2 Working Conference on Programming Concepts and Methods pages 561-581, April 1990.
27. D. Walker and G. Morrisett. Alias types for recursive data structures. Lecture Notes in Computer Science, 2071:177-206, 2001.
28. A. K. Wright and M. Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38-94, November 1994.