静态错误分析用于确定在源程序中是否有某类错误或‘危险’结构，包括以下几种：

1.类型和单位分析

对源程序的类型进行检查，为了强化检查效果，扩充一些新的数据类型，进行静态预处理程序，分析程序中的类型错误.

2.引用分析

对程序中变量的引用进行检查，发现引用异常错误（如变量在定义前被引用，变量定义后未被引用）。

采用深度优选的方法遍历程序流图的每一条路径

建立引用异常的探测工具，包括变量定义表和变量引用表

3.表达式分析

对表达式进行分析，以发现和纠正在表达式出现的错误，如：

在表达式中不正确的使用了括号造成错误

数组下标越界错误

除数为零

浮点数计算的误差（复杂）

4.接口分析

接口一致性是程序的静态错误分析和设计分析共同研究的题目，接口分析主要对下内容时进行一致性的分析：

各模块之间接口一致性

模块与外部数据库的接口一致性

形参与实参在类型，数量，顺序，维数，使用上的一致性

全局变量和公共数据区在使用上的一致性