Path and Context Sensitive Inter-procedural Memory Leak Detection

Author

Xu, Zhongxing ; Zhang, Jian

Author_Institution

State Key Lab. of Comput. Sci., Grad. Univ. of Chinese Acad. of Sci., shanghai

fYear

2008

fDate

12-13 Aug. 2008

Firstpage

412

Lastpage

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.

Keywords

C language; storage management; C program; context sensitive interprocedural analysis; function summary system; memory leak detection; memory object model; path analysis; path sensitive interprocedural analysis; Computer science; Data analysis; Data structures; Laboratories; Lattices; Leak detection; Power system modeling; Programming profession; Software quality; System performance; bug finding; memory leak; path feasibility;

fLanguage

English

Publisher

ieee

Conference_Titel

Quality Software, 2008. QSIC '08. The Eighth International Conference on

Conference_Location

Oxford

ISSN

1550-6002

Print_ISBN

978-0-7695-3312-4

Type

conf

DOI

10.1109/QSIC.2008.12

Filename

4601571

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2609689