| 提高静态缺陷检测精度方法 |
| |
| 引用本文： | 肖庆,杨朝红,宫云战.提高静态缺陷检测精度方法[J].计算机辅助设计与图形学学报,2010,22(11). |
| |
| 作者姓名： | 肖庆 杨朝红 宫云战 |
| |
| 基金项目： | 国家"八六三"高技术研究发展计划 |
| |
| 摘 要： | 误报率和漏报率是静态缺陷检测的关键技术指标,提高分析精度是降低误报和漏报的主要手段.文中介绍了缺陷模式及其有限状态机描述,提出基于传统数据流分析的缺陷检测方法.采用变量抽象取值来近似地表示程序动态执行信息,通过状态条件中的变量抽象取值范围为空来判断不可达路径,以实现路径敏感分析;使用缺陷相关的函数摘要来表示缺陷检测所需函数调用信息,其中缺陷相关的函数摘要包括前置约束信息、后置约束信息和函数特征信息三部分,实现了上下文敏感的跨函数分析.文中方法已在缺陷检测系统DTS中实现,在大型开源软件分析中的实验结果表明,该方法能减少误报和漏报.
|
| 关 键 词： | 缺陷检测 静态分析 数据流分析 路径敏感 上下文敏感 |
Improving the Accuracy of Static Defect Detecting |
| |
| Xiao Qing,Yang Zhaohong,Gong Yunzhan.Improving the Accuracy of Static Defect Detecting[J].Journal of Computer-Aided Design & Computer Graphics,2010,22(11). |
| |
| Authors: | Xiao Qing Yang Zhaohong Gong Yunzhan |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
