参考答案

正确答案：A
解析：静态错误分析主要用于确定在源程序中是否有某类错误或危险结构。它有以下几种类型：单位分析，引用分析，表达式分析，接口分析。