基于函数调用序列模式挖掘的程序缺陷检测

摘要：

程序中通常会隐含大量编程规则,若在程序编写过程中违反此类规则,则可能引发软件缺陷.函数调用规则是其中一类常见的程序隐含规则,常见的函数调用规则挖掘工作将整个函数体内的函数调用作为一个项集来进行分析,未使用程序中函数调用先后顺序等约束信息,导致软件缺陷挖掘结果的误报率较高.通过简单的静态分析即可获取函数调用序列信息,如在缺陷挖掘过程中充分利用函数调用序列信息,将有效提高缺陷挖掘精度.基于上述思路,提出了一种基于函数调用序列模式挖掘的缺陷检测方法,该方法自动检测程序中违反函数调用序列模式的疑似缺陷,并报告可疑度较高的缺陷.基于该方法,在一组开源项目上进行的实验的结果表明,此方法能有效发现程序中由于违反函数调用序列模式而导致的缺陷,减少了缺陷误报,从而降低了人工核查疑似缺陷开销.

关键词：函数调用序列、序列模式挖掘、缺陷检测

所属期刊栏目：44

分类号：TP311(计算技术、计算机技术)

资助基金：国家重点研发计划2016YFC0801407;计算机软件新技术国家重点实验室开放课题KFKT2016B12;北京信息科技大学学校科研基金1625008;计算机学院大类人才培养模式改革项目5111623409

在线出版日期：2017-12-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：226-231