| 静态错误分析用于确定在源程序中是否有某类错误或“危险”结构。它有以下几种。
|
|
|
|
|
| 为了强化对源程序中数据类型的检查，在程序设计语言中扩充一些新的数据类型，例如，仅能在数组中使用的“下标”类型及在循环语句中当作控制变量使用的“计数器”类型。这样就可以静态预处理程序，分析程序中的类型错误。
|
|
|
|
|
| 在静态错误分析中，最广泛使用的技术就是发现引用异常。如果沿着程序的控制路径，变量在赋值以前被引用，或变量在赋值以后未被引用，这时就发生了引用异常。
|
|
|
| 为了检测引用异常，需要检查通过程序的每一条路径。通常采用类似深度优先的方法遍历程序流图的每一条路径，也可以建立引用异常的探测工具，这种工具包括两个表：定义表和未引用表。每张表中都包含一组变量表。未引用表中包括已被赋值但还未被引用的一些变量。
|
|
|
| 当扫描抵达一个出度大于1的节点V时，深度优先探测算法要求先检查最左分支的那一部分程序流图，然后再检查其他分支。在最左分支检查完之前，应把定义表与未引用表的当前内容用一个栈暂时存储起来，当最左分支检查完之后，算法控制返回到节点V，从栈中恢复该节点的定义表和未引用表的老的副表，然后再去遍历该节点的下一个分支，这个过程要继续到全部分支检查完为止。
|
|
|
|
|
| 对表达式进行分析，以发现和纠正在表达式中出现的错误。包括：
|
|
|
|
|
|
|
|
|
|
|
| 最复杂的一类表达式分析是对浮点数计算的误差进行检查。由于使用二进制数不精确地表示十进制浮点数，常常使计算结果出乎意料。
|
|
|
|
|
| 接口一致性是程序的静态错误分析和设计分析共同研究的题目。接口一致性的设计可以分析检查模块之间接口的一致性和模块与外部数据库之间接口的一致性。
|
|
|
| 程序关于接口的静态错误分析检查过程与实参在类型、函数过程之间接口的一致性，因此要检查形参与实参在类型、数量、维数、顺序、使用上的一致性；检查全局变量和公共数据区在使用上的一致性。
|
|
|
京公网安备 11010502032051号 | 营业执照