��(1) 检查变量的交叉引用表：重点是检查未说明的变量和违反了类型规定的变量；还要对照源程序，逐个检查变量的引用、变量的使用序列；临时变量在某条路径上的重写情况；局部变量、全局变量与特权变量的使用；
��(2) 检查标号的交叉引用表：验证所有标号的正确性：检查所有标号的命名是否正确；转向指定位置的标号是否正确。
��(3) 检查子程序、宏、函数 ：验证每次调用与被调用位置是否正确；确认每次被调用的子程序、宏、函数是否存在；检验调用序列中调用方式与参数顺序、个数、类型上的一致性。
��(4) 等值性检查：检查全部等价变量的类型的一致性，解释所包含的类型差异。
��(5) 常量检查：确认每个常量的取值和数制、数据类型；检查常量每次引用同它的取值、数制和类型的一致性；
��(6) 标准检查：用标准检查程序或手工检查程序中违反标准的问题。
��(7) 风格检查：检查在程序设计风格方面发现的问题。
���