path and context sensitive inter-procedural memory leak detection

	path and context sensitive inter-procedural memory leak detection
	Xu Zhongxing; Zhang Jian
	2008
会议名称	8th International Conference on Quality Software
页码	412-420
会议日期	AUG 12-13,
会议地点	Oxford, ENGLAND
出版地	10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
出版者	QSIC 2008: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE
ISSN	1550-6002
ISBN	978-0-7695-3312-4
部门归属	Xu, Zhongxing Chinese Acad Sci, Grad Univ, Inst Software, State Key Lab Comp Sci, Beijing 100864, Peoples R China.
摘要	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 meth
关键词	Memory Leak Path Feasibility Bug Finding
主办者	Oxford Brookes Univ, Univ Hong Kong
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/10732
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Xu Zhongxing,Zhang Jian. path and context sensitive inter-procedural memory leak detection[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:QSIC 2008: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE,2008:412-420.