一种路径敏感的静态缺陷检测方法.pdf

ISSN 1000-9825, CODEN RUXUEW E-mail: ******@iscas.
Journal of Software, , , February 2010, −217
doi: . Tel/Fax: +86-10-62562563
© by Institute of Software, the Chinese Academy of Sciences. All rights reserved.

∗
一种路径敏感的静态缺陷检测方法
肖庆1+, 宫云战1, 杨朝红1,2, 金大海1, 王雅文1
1(北京邮电大学网络与交换技术国家重点实验室,北京 100876)
2(装甲兵工程学院信息工程系,北京 100072)
Path Sensitive Static Defect Detecting Method
XIAO Qing1+, GONG Yun-Zhan1, YANG Zhao-Hong1,2, JIN Da-Hai1, WANG Ya-Wen1
1(State Key Laboratory working and Switching Technology, Beijing University of Posts and munications, Beijing 100876,
China)
2(Department of Information Engineering, Academy of Armored Force Engineering, Beijing 100072, China)
+ Corresponding author: E-mail: 2722976@
Xiao Q, Gong YZ, Yang ZH, Jin DH, Wang YW. Path sensitive static defect detecting method. Journal of
Software, 2010,21(2):209−217. /1000-9825/
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 bination explosion
of full path analysis by merging the conditions of identical property state at join points in the CFG (control flow
graph