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

来源：软件学报杂志2018年第5期北京时间：

作者：高志伟,计卫星,石剑君,王一拙,高玉金,廖心怡,罗辉,石峰

单位：高志伟，北京理工大学 计算机学院, 北京 10008111,计卫星，北京理工大学 计算机学院, 北京 10008102,石剑君，北京理工大学 计算机学院, 北京 10008103,王一拙，北京理工大学 计算机学院, 北京 10008104,高玉金，北京理工大学 计算机学院, 北京 10008105,廖心怡，北京理工大学 计算机学院, 北京 10008106,罗辉，北京理工大学 计算机学院, 北京 10008107,石峰，北京理工大学 计算机学院, 北京 10008108

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

关键词：质量保障;缺陷检测;资源泄漏;指向分析;数据流分析

基金资助：国家自然科学基金（61300010）；国家重点研发计划（2016YFB1000801）