| 一种路径敏感的静态缺陷检测方法 |
| |
| 引用本文： | 肖庆,宫云战,杨朝红,金大海,王雅文.一种路径敏感的静态缺陷检测方法[J].软件学报,2010,21(2):209-217. |
| |
| 作者姓名： | 肖庆 宫云战 杨朝红 金大海 王雅文 |
| |
| 作者单位： | 1. 北京邮电大学,网络与交换技术国家重点实验室,北京,100876
2. 北京邮电大学,网络与交换技术国家重点实验室,北京,100876;装甲兵工程学院,信息工程系,北京,100072 |
| |
| 基金项目： | Supported by the National High-Tech Research and Development Plan of China under Grant Nos.2007AA010302, 2009AA012404 (国家高技术研究发展计划(863)) |
| |
| 摘 要： | 提出一种多项式复杂度的路径敏感静态缺陷检测算法.该方法采用变量的抽象取值范围来表示属性状态条件,通过属性状态条件中的变量抽象取值范围为空来判断不可达路径.在控制流图(control flow graph,简称CFG)中的汇合节点上合并相同属性状态的状态条件,从而避免完整路径上下文分析的组合爆炸问题.该算法已应用于缺陷检测系统DTS(defect testing system).实际测试结果表明,该方法能够减少误报.
|
| 关 键 词： | 缺陷检测 静态分析 路径敏感 数据流分析 程序分析 |
| 收稿时间： | 2009/6/11 0:00:00 |
| 修稿时间： | 2009/12/7 0:00:00 |
Path Sensitive Static Defect Detecting Method |
| |
| XIAO Qing,GONG Yun-Zhan,YANG Zhao-Hong,JIN Da-Hai and WANG Ya-Wen.Path Sensitive Static Defect Detecting Method[J].Journal of Software,2010,21(2):209-217. |
| |
| Authors: | XIAO Qing GONG Yun-Zhan YANG Zhao-Hong JIN Da-Hai and WANG Ya-Wen |
| |
| Affiliation: | XIAO Qing1+,GONG Yun-Zhan1,YANG Zhao-Hong1,2,JIN Da-Hai1,WANG Ya-Wen1 1(State Key Laboratory of Networking , Switching Technology,Beijing University of Posts , Telecommunications,Beijing 100876,China)2(Department of Information Engineering,Academy of Armored Force Engineering,Beijing 100072,China) |
| |
| Abstract: | This paper presents a new path sensitive algorithm for static defect detecting running in polynomial time.In this method,property state conditions are represented by abstract domain of variables,and infeasible paths can be identified when some variables' abstract value range is empty.This method avoids the combination explosion of full path analysis by merging the conditions of identical property state at join points in the CFG(control flow graph).This algorithm has been implemented as part of a defect test... |
| |
| Keywords: | defect detecting static analysis path sensitive dataflow analysis program analysis |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
