[单选题]

程序的静态错误分析和设计分析共同研究的题目是______。

A．接口一致性

B．表达式分析

C．引用分析

D．类型和单位分析

参考答案与解析：