loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 The Eighth International Conference on Quality Software
Path and Context Sensitive Inter-procedural Memory Leak Detection
August 12-August 13
ISBN: 978-0-7695-3312-4
ASCII Text
x 
 
Zhongxing Xu, Jian Zhang, "Path and Context Sensitive Inter-procedural Memory Leak Detection," Quality Software, International Conference on, pp. 412-420, 2008 The Eighth International Conference on Quality Software, 2008.
 
 
BibTex
x
 
@article{ 10.1109/QSIC.2008.12,
author = {Zhongxing Xu and Jian Zhang},
title = {Path and Context Sensitive Inter-procedural Memory Leak Detection},
journal ={Quality Software, International Conference on},
volume = {0},
year = {2008},
issn = {1550-6002},
pages = {412-420},
doi = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2008.12},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Quality Software, International Conference on
TI - Path and Context Sensitive Inter-procedural Memory Leak Detection
SN - 1550-6002
SP412
EP420
A1 - Zhongxing Xu,
A1 - Jian Zhang,
PY - 2008
KW - memory leak
KW - path feasibility
KW - bug finding
VL - 0
JA - Quality Software, International Conference on
ER -
 
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:
Zhongxing Xu, Jian Zhang, "Path and Context Sensitive Inter-procedural Memory Leak Detection," qsic, pp.412-420, 2008 The Eighth International Conference on Quality Software, 2008
Usage of this product signifies your acceptance of the Terms of Use.