%0 Journal Article
%T Path Sensitive Static Defect Detecting Method<br>一种路径敏感的静态缺陷检测方法
%A XIAO Qing
%A GONG Yun-Zhan
%A YANG Zhao-Hong
%A JIN Da-Hai
%A WANG Ya-Wen
%A <br>肖庆
%A 宫云战
%A 杨朝红
%A 金大海
%A 王雅文
%J 软件学报
%D 2010
%I 
%X 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...
%K defect detecting
%K static analysis
%K path sensitive
%K dataflow analysis
%K program analysis<br>缺陷检测
%K 静态分析
%K 路径敏感
%K 数据流分析
%K 程序分析
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=675E5AD612A2DEF4656942EB38D31221&yid=140ECF96957D60B2&vid=659D3B06EBF534A7&iid=0B39A22176CE99FB&sid=79D2EF35F60110C2&eid=F9F74EC1AA08A7B9&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=13