提高静态缺陷检测精度方法

作     者：肖庆 杨朝红 宫云战 Xiao Qing;Yang Zhaohong;Gong Yunzhan

作者机构：北京邮电大学网络与交换技术国家重点实验室北京100876 装甲兵工程学院信息工程系北京100072 

基　　金：国家"八六三"高技术研究发展计划(2007AA010302 2009AA012404) 

出 版 物：《计算机辅助设计与图形学学报》 (Journal of Computer-Aided Design & Computer Graphics)

年 卷 期：2010年第22卷第11期

页      码：2037-2044页

摘      要：误报率和漏报率是静态缺陷检测的关键技术指标,提高分析精度是降低误报和漏报的主要手段.文中介绍了缺陷模式及其有限状态机描述,提出基于传统数据流分析的缺陷检测方法.采用变量抽象取值来近似地表示程序动态执行信息,通过状态条件中的变量抽象取值范围为空来判断不可达路径,以实现路径敏感分析;使用缺陷相关的函数摘要来表示缺陷检测所需函数调用信息,其中缺陷相关的函数摘要包括前置约束信息、后置约束信息和函数特征信息三部分,实现了上下文敏感的跨函数分析.文中方法已在缺陷检测系统DTS中实现,在大型开源软件分析中的实验结果表明,该方法能减少误报和漏报.

主 题 词：缺陷检测 静态分析 数据流分析 路径敏感 上下文敏感 

学科分类：08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 081202[081202] 

核心收录：

馆 藏 号：203157914...