论文部分内容阅读
提出一种多项式复杂度的路径敏感静态缺陷检测算法．该方法采用变量的抽象取值范围来表示属性状态条件，通过属性状态条件中的变量抽象取值范围为空来判断不可达路径．在控制流图（control flowgraph，简称CFG）中的汇合节点上合并相同属性状态的状态条件，从而避免完整路径上下文分析的组合爆炸问题．该算法已应用于缺陷检测系统DTS（defect testingsystem）．实际测试结果表明，该方法能够减少误报．