面向缺陷检测的函数摘要方法
函数间分析是静态分析的重要组成部分,函数摘要是一种目前被普遍采用的静态过程间分析方法.针对静态缺陷检测中的过程间分析特点,提出一种面向缺陷检测的函数摘要方法,摘要信息由前置约束信息集合、后置副作用信息集合和状态特征信息集合组成,将函数摘要的计算化作3个数据流分析问题的求解,使其过程可伴随过程内分析进行.对比实验结果表明该方法能有效降低静态缺陷检测的误报和漏报.
软件工程 缺陷检测 函数摘要 静态分析
肖庆 杨朝红 金丽亚 毕学军
装甲兵工程学院信息工程系 北京100072
国内会议
重庆
中文
74-77,106
2013-07-27（万方平台首次上网日期，不代表论文的发表时间）