参考答案：B

解析： 静态错误分析主要用于确定在源程序中是否有某类错误或“危险”结构，它通常包括4种：类型和单位分析、引用分析、表达式分析、接口分析。