试题出自试卷《2025年上半年软件评测师考试综合知识真题【学员回忆版】》

问题1选项
A.表达式分析可识别除零错误或数组越界等潜在风险
B.接口分析验证模块间参数类型和顺序是否符合约定
C.控制流分析通过生成调用图来检查函数间的调用关系
D.数据流分析追踪变量的定义与使用，检测未初始化或冗余赋值

C

A. 正确。表达式分析通过语法和语义检查，能发现如除数可能为零、数组索引越界等静态错误，属于静态分析的常见应用场景。
B. 正确。接口分析用于检查模块间交互的一致性，例如函数调用时参数的类型、数量、顺序是否匹配声明，属于静态分析中的类型检查范畴。
C. 不正确。
控制流分析的核心是分析程序中代码执行的流程（如分支、循环等），通常通过生成控制流图（CFG）来描述单个函数内部的执行路径，而非函数间的调用关系。
D. 正确。数据流分析通过追踪变量在程序中的定义（Definition）和使用（Use），可发现如变量未初始化就被使用、冗余赋值等问题，是静态分析的重要技术之一。