参考答案：D

解析： 静态错误分析主要用于确定在源程序中是否有某类错误或者危险结构，包括： 类型和单位分析——为了强化对源程序中数据类型的检查，在程序设计语言中扩充一些新的数据类型。 引用分析——在静态错误分析中，最广泛使用的技术就是发现引用异常。 表达式分析——对表达式进行分析，以发现和纠正在表达式中出现的错误。 接口分析——接口的一致性是程序的静态错误分析和设计分析共同研究的题目。接口一致性的设计分析主要检查模块之间接口的一致性和模块与外部数据库之间接口的一致性。