Path and Context Sensitive Inter-procedural Memory Leak Detection

August 12-August 13

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/QSIC.2008.12

2008 The Eighth International Confere ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Zhongxing Xu Articles by Jian Zhang

	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 -

Zhongxing Xu

Jian Zhang

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.