单选题检查是否存在“已定义但未使用”的变量引用异常应属于______。

【正确答案】 A

【答案解析】[解析] 静态错误分析有以下几种：类型和单位分析、引用分析、表达式分析和接口分析等，其中在静态错误分析中，最广泛使用的技术就是发现引用异常。