主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
肖庆,宫云战,杨朝红,金大海,王雅文.一种路径敏感的静态缺陷检测方法.软件学报,2010,21(2):209-217
一种路径敏感的静态缺陷检测方法
Path Sensitive Static Defect Detecting Method
投稿时间:2009-06-11  修订日期:2009-12-07
DOI:
中文关键词:  缺陷检测  静态分析  路径敏感  数据流分析  程序分析
英文关键词:defect detecting  static analysis  path sensitive  dataflow analysis  program analysis
基金项目:Supported by the National High-Tech Research and Development Plan of China under Grant Nos.2007AA010302, 2009AA012404 (国家高技术研究发展计划(863))
作者单位
肖庆 北京邮电大学 网络与交换技术国家重点实验室,北京 100876 
宫云战 北京邮电大学 网络与交换技术国家重点实验室,北京 100876 
杨朝红 北京邮电大学 网络与交换技术国家重点实验室,北京 100876
装甲兵工程学院 信息工程系,北京 100072 
金大海 北京邮电大学 网络与交换技术国家重点实验室,北京 100876 
王雅文 北京邮电大学 网络与交换技术国家重点实验室,北京 100876 
摘要点击次数: 6678
全文下载次数: 5641
中文摘要:
      提出一种多项式复杂度的路径敏感静态缺陷检测算法.该方法采用变量的抽象取值范围来表示属性状态条件,通过属性状态条件中的变量抽象取值范围为空来判断不可达路径.在控制流图(control flow graph,简称CFG)中的汇合节点上合并相同属性状态的状态条件,从而避免完整路径上下文分析的组合爆炸问题.该算法已应用于缺陷检测系统DTS(defect testing system).实际测试结果表明,该方法能够减少误报.
英文摘要:
      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 testing tool called DTS (defect testing system). Practical test results show that this method can reduce false positive.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利