Path Sensitive Static Defect Detecting Method
一种路径敏感的静态缺陷检测方法

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...