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

• 作者: 崔展齐 张志华 牟永敏 王伟光
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 函数调用序列 序列模式挖掘 缺陷检测
• 年，卷（期）: 2017,（11）
• 所属期刊栏目: 第六届全国软件分析测试与演化学术会议
• 页码范围: 226-231
• 页数: 6页
• 分类号: TP311
• 字数: 6624字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2017.11.034

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	牟永敏	北京信息科技大学计算机学院	85	322	10.0	16.0
2	张志华	北京信息科技大学计算机学院	26	99	5.0	9.0
3	王伟光	华为技术有限公司南京研究所	1	1	1.0	1.0