基于函数调用序列模式挖掘的程序缺陷检测-计算机科学.PDFVIP

Vo 1. 44 No. 11 第 44 卷第11 期 计算机科学 2017 年 11 月 COMPUTER SCIENCE Nov.2017 基于函数调用序列模式挖掘的程序缺陷检测 崔展齐1 ， 2 牟永敏1 张志华1 王伟光3 (北京信息科技大学计算机学院 北京 100101) 1 (计算机软件新技术国家重点实验室(南京大学) 南京 210023)2 (华为技术有限公司南京研究所 南京 210008)3 摘 要 程序中通常会隐含大量编程规则，若在程序编写过程中违反此类规则，则可能引发软件缺陷。函数调用规则 是其中一类常见的程序隐含规则，常见的函数调用规则挖掘工作将整个函数体内的函数调用作为一个项集来进行分 析，未使用程序中函数调用先后顺序等约束信息，导致软件缺陷挖掘结采的误报率较高。通过简单的静态分析即可获 取函数调用序列信息，如在缺陷挖掘过程中充分利用函数调用序列信息，将有效提高缺陷挖掘精度。基于上述思路， 提出了一种基于函数调用序列模式挖掘的缺陷检测方法，该方法自动检测程序中违反函数调用序列模式的疑似缺陷， 并报告可疑度较高的缺陷。基于该方法，在一组开源项目上进行的实验的结果表明，此方法能有效发现程序中由于违 反函数调用序列模式而导致的缺陷，减少了缺陷误报，从而降低了人工核查疑似缺陷开销。 关键词 函数调用序列，序列模式挖掘，缺陷检测 中固法分类号 TP311 文献标识码 A DOI 10. 11896/j. issn. 1002-1372♀ 2017.1 1. 034 Defects Detection ßased on Mining Function Call Sequence Patterns CUI Zhan-qi1,2 扎仅J Yong-min1 ZHANG Zhi-hua1 WANG Wei-guang3 (School of Computer ,Beijing Information Science and Technology University ,Beijing 100101 ,China) 1 (State Key Laboratory for Novel Software Technology ,Nanjing University ,Nanjing 210023 ,China)2 (Nanjing Research Institute ,Huawei Technologies Co. ,Ltd. ,Nanjing 210008 ,China)3 Abstract Large scale programs usually imply a large number of programming rules. However ,if programmers violate those rules in the process of programming ,it is possible to cause software defects. The function call rule is one kind of the typical implicit rules in progr缸ns. Previous work on mining function rules handle function calls in the body of a function def