静态错误分析用于确定在源程序中是否有某类错误或‘危险’结构，包括以下几种：
1.类型和单位分析
对源程序的类型进行检查，为了强化检查效果，扩充一些新的数据类型，进行静态预处理程序，分析程序中的类型错误.
2.引用分析
对程序中变量的引用进行检查，发现引用异常错误（如变量在定义前被引用，变量定义后未被引用）。
采用深度优选的方法遍历程序流图的每一条路径
建立引用异常的探测工具，包括变量定义表和变量引用表
3.表达式分析
对表达式进行分析，以发现和纠正在表达式出现的错误，如：
在表达式中不正确的使用了括号造成错误
数组下标越界错误
除数为零
浮点数计算的误差（最复杂）
4.接口分析
接口一致性是程序的静态错误分析和设计分析共同研究的题目，接口分析主要对下内容时进行一致性的分析：
各模块之间接口一致性
模块与外部数据库的接口一致性
形参与实参在类型，数量，顺序，维数，使用上的一致性
全局变量和公共数据区在使用上的一致性