Practical memory leak detector based on parameterized procedural summaries

International Symposium on Memory Management, ISMM

Volumn , Issue , 2008, Pages 131-140

  Jung, Yungbum ^a   Yi, Kwangkeun ^a  

^a Seoul National University   (South Korea)

Author keywords

Abstract interpretation; Error detection; Memory leaks; Memory management; Program analysis; Shape analysis

Indexed keywords

ABSTRACT INTERPRETATION; MEMORY LEAKS; MEMORY MANAGEMENT; PROGRAM ANALYSIS; SHAPE ANALYSIS;

ABSTRACTING; C (PROGRAMMING LANGUAGE); DETECTORS; ERROR DETECTION; INFORMATION THEORY; PROGRAM INTERPRETERS;

PROGRAM DEBUGGING;

EID: 57349198244     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1375634.1375653     Document Type: Conference Paper

References (15)

1. Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérome Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, and Xavier Rival. A static analyzer for large safety-critical software. In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, pages 196-207, New York, NY, USA, 2003. ACM Press.
2. Sigmund Cherem, Lonnie Princehouse, and Radu Rugina, Practical memory leak detection using guarded value-flow analysis. SIGPLAN Not., 42(6):480-49l, 2007.
3. Patrick Cousot and Radhia Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 238-252, January 1977.
4. M. Das, S. Lerner, and M. Seigle. Path-sensitive program verification in polynomial time, 2002.
5. David Evans. Static detection of dynamic memory errors. In SIGPLAN Conference on Programming Language Design and Implementation (PLDI '96), 1996.
6. Bolei Guo, Neil Vachharajani, and David I. August. Shape analysis with inductive recursion synthesis. In PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, pages 256-265, New York, NY, USA, 2007. ACM Press.
7. Seth Hallem, Benjamin Chelf, Yichen Xie, and Dawson Engler. A system and language for building system-specific, static analyses. In PLDI 2002. PLDI, December 2002.
8. David L. Heine and Monica S. Lam. A practical flow-sensitive and context-sensitive c and C++ memory leak detector. In Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation, pages 168-181, 2003.
9. David L. Heine and Monica S. Lam. Static detection of leaks in polymorphic containers. In ICSE '06: Proceeding of the 28th international conference on Software engineering, pages 252-261, New York, NY, USA, 2006. ACM.
10. Erick M.Nystrom, Hong-Seok Kim, and Wen mei W.Hwu. Bottom-up and top-down context-sensitive summary-based pointer analysis. In The proceedings of the 11th Annual International Static Analysis Symposium, Lecture Notes in Computer Science. Springer, 2004.
11. M Orlovich and R Rugina. Memory leak analysis by contradiction. In SAS 2006: 13th Annual International Static Analysis Symposium, Lecture Notes in Computer Science. Springer, 2006.
12. J. Reynolds. Separation logic: a logic for shared mutable data structures. In In Proceedings of the 17th Annual IEEE Symposium, on Logic in Computer Science, 2002.
13. John Whaley and Martin Rinard. Compositional pointer and escape analysis for Java programs. ACM SIGPLAN Notices, 34(10): 187-206, 1999.
14. Yichen Xie and Alex Aiken. Context- and path-sensitive memory leak detection. In ESEC/FSE-13: Proceedings of the 10th European software, engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, pages 115-125, New York, NY, USA, 2005. ACM.
15. Yichen Xie and Alex Aiken. Scalable error detection using boolean satisfiability. In POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium, on Principles of programming languages, pages 351-363, New York, NY, USA, 2005. ACM.