| |
| 在静态错误分析中，最广泛使用的技术就是发现引用异常。如果沿着程序的控制路径，变量在赋值以前被引用，或变量在赋值以后未被引用，这时就发生了引用异常。
|
|
|
| 为了检测引用异常，需要检查通过程序的每一条路径。通常采用类似深度优先的方法遍历程序流图的每一条路径，也可以建立引用异常的探测工具，这种工具包括两个表：定义表和未引用表。每张表中都包含一组变量表。未引用表中包括已被赋值但还未被引用的一些变量。
|
|
|
| 当扫描抵达一个出度大于1的节点V时，深度优先探测算法要求先检查最左分支的那一部分程序流图，然后再检查其他分支。在最左分支检查完之前，应把定义表与未引用表的当前内容用一个栈暂时存储起来，当最左分支检查完之后，算法控制返回到节点V，从栈中恢复该节点的定义表和未引用表的老的副表，然后再去遍历该节点的下一个分支，这个过程要继续到全部分支检查完为止。
|
|
|
|
|
|
|
|
|
|
|
|
京公网安备 11010502032051号 | 营业执照