QQ客服 官方微博 反馈留言

	Safe Memory-Leak Fixing for C Programs
	Gao, Qing ; Xiong, Yingfei ; Mi, Yaqing ; Zhang, Lu ; Yang, Weikun ; Zhou, Zhaoping ; Xie, Bing ; Mei, Hong
	2015
关键词	FLOW TOOL
英文摘要	Automatic bug fixing has become a promising direction for reducing manual effort in debugging. However, general approaches to automatic bug fixing may face some fundamental difficulties. In this paper, we argue that automatic fixing of specific types of bugs can be a useful complement. This paper reports our first attempt towards automatically fixing memory leaks in C programs. Our approach generates only safe fixes, which are guaranteed not to interrupt normal execution of the program. To design such an approach, we have to deal with several challenging problems such as inter-procedural leaks, global variables, loops, and leaks from multiple allocations. We propose solutions to all the problems and integrate the solutions into a coherent approach. We implemented our inter-procedural memory leak fixing into a tool named Leak Fix and evaluated Leak Fixon 15 programs with 522k lines of code. Our evaluation shows that Leak Fix is able to successfully fix a substantial number of memory leaks, and Leak Fix is scalable for large applications.; EI; CPCI-S(ISTP); gaoqing11@sei.pku.edu.cn; xiongyf04@sei.pku.edu.cn; miyq13@sei.pku.edu.cn; zhanglu@sei.pku.edu.cn; weikunyang@pku.edu.cn; zhouzhaoping@pku.edu.cn; xiebing@sei.pku.edu.cn; meih@sei.pku.edu.cn; 459-470; 1
语种	英语
出处	2015 IEEE ACM 37th IEEE International Conference on Software Engineering
DOI标识	10.1109/ICSE.2015.64
内容类型	其他
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/436741]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Gao, Qing,Xiong, Yingfei,Mi, Yaqing,et al. Safe Memory-Leak Fixing for C Programs. 2015-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。