大规模源代码增量式资源泄漏检测方法

• 作者: 廖心怡 王一拙 石剑君 石峰 罗辉 计卫星 高志伟 高玉金
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 质量保障 缺陷检测 资源泄漏 指向分析 数据流分析
• 年，卷（期）: 2018,（5）
• 所属期刊栏目: 软件安全漏洞检测专题
• 页码范围: 1244-1257
• 页数: 14页
• 分类号: TP311
• 字数: 8996字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005506

摘要

资源泄漏是影响软件质量和可靠性的一种重要软件缺陷,存在资源泄漏的程序长时间运行会由于资源耗尽而发生异常甚至崩溃.静态代码分析是进行资源泄漏检测的一种有效的技术手段,能够基于源代码或者二进制代码有效地发现程序中潜在的资源泄漏问题.然而,精确的资源泄漏检测算法的复杂性会随着程序规模的增加呈指数级增长,无法满足生产中即时对缺陷进行分析检测的实际应用需求.面向大规模源代码提出了一种增量式的静态资源泄漏检测方法,该方法支持过程间流敏感的资源泄漏检测,在用户编辑代码的过程中,从变更的函数入手,通过资源闭包、指向分析过滤等多种技术手段缩小资源泄漏检测范围,进而实现了大规模代码的即时缺陷分析与报告.实验结果表明:该方法在保证准确率的前提下,90％的增量检测实验可以在10s内完成,能够满足在用户编辑程序过程中对缺陷进行即时检测和报告的实际应用需求.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高志伟	北京理工大学计算机学院	5	22	2.0	4.0
2	石峰	北京理工大学计算机学院	57	245	9.0	13.0
3	计卫星	北京理工大学计算机学院	39	79	5.0	6.0
4	高玉金	北京理工大学计算机学院	11	28	3.0	4.0
5	王一拙	北京理工大学计算机学院	17	76	5.0	8.0
6	石剑君	北京理工大学计算机学院	2	1	1.0	1.0
7	罗辉	北京理工大学计算机学院	2	0	0.0	0.0
8	廖心怡	北京理工大学计算机学院	2	1	1.0	1.0