Path and context sensitive inter-procedural memory leak detection

Proceedings - International Conference on Quality Software

Volumn , Issue , 2008, Pages 412-420

  Zhongxing, Xu ^a   Jian, Zhang ^b  

^a UNIVERSITY OF CHINESE ACADEMY OF SCIENCES   (China)

^b INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

Author keywords

Bug finding; Memory leak; Path feasibility

Indexed keywords

ANALYSIS METHODS; BUG FINDING; C PROGRAMS; CONTEXT-SENSITIVE; INTERNATIONAL CONFERENCES; MEMORY LEAK; MEMORY LEAKS; OBJECT MODELLING; PATH FEASIBILITY; QUALITY SOFTWARE;

REAL TIME SYSTEMS;

EID: 52449090424     PISSN: 15506002     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QSIC.2008.12     Document Type: Conference Paper

References (9)

1. W. R. Bush, J. D. Pincus, and D. J. Sielaff. A static analyzer for finding dynamic programming errors. Software Practice and Experience, 30:775-802, 2000.
2. S. Cherem, L. Princehouse, and R. Rugina. Practical memory leak detection using guarded value-flow analysis. In Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, 2007.
3. CVC3. http://www.cs.nyu.edu/cvc3.
4. R. Hastings and B. Joyce. Purify: Fast detection of memory leaks and access errors. In Proceedings of the Winter USENIX Conference, 1992.
5. D. L. Heine and M. S. Lam. A practical flow-sensitive and context-sensitive C and C++ memory leak detector. In Proceedings of the 2003 ACM SIGPLAN conference on Programming language design and implementation, 2003.
6. The LLVM compiler infrastructure, http://llvm.org/.
7. M. Orlovich and R. Rugina. Memory leak analysis by contradiction. In Proceedings of the International Static Analysis Symposium (SAS '06), 2006.
8. Valgrind. http://www.valgrind.org.
9. Y. Xie and A. Aiken. Context- and path-sensitive memory leak detection. In Proceedings of ECSE/FSE 2005, 2005.