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