Quality Software, International Conference on (2008)
Aug. 12, 2008 to Aug. 13, 2008
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QSIC.2008.12
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.
memory leak, path feasibility, bug finding
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.