The Community for Technology Leaders
Quality Software, International Conference on (2008)
Aug. 12, 2008 to Aug. 13, 2008
ISSN: 1550-6002
ISBN: 978-0-7695-3312-4
pp: 412-420
ABSTRACT
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summary system are used. Preliminary experiments show that the method is effective. Several memory leaks have been found in real programs including which and wget.
INDEX TERMS
memory leak, path feasibility, bug finding
CITATION

Z. Xu and J. Zhang, "Path and Context Sensitive Inter-procedural Memory Leak Detection," Eighth International Conference on Quality Software. QSIC 2008(QSIC), Oxford, 2008, pp. 412-420.
doi:10.1109/QSIC.2008.12
87 ms
(Ver 3.3 (11022016))