本题考察的是软件测试中的静态分析技术。
静态分析通过对源代码和程序结构进行检查，在不运行程序的情况下发现潜在的缺陷。
A选项 控制流分析：主要检查程序控制结构及执行路径是否正确，例如死循环、无效路径等，不涉及数据异常，错误。
B选项 数据流分析：用于分析数据在程序中的生命周期，包括定义、初始化、赋值、引用等。它能够发现典型的数据异常（如未初始化变量的使用、无效赋值、未使用的数据等），符合题干描述，正确。
C选项 接口分析：用于检查模块或函数之间的接口一致性，如参数类型、数量和顺序是否匹配，错误。
D选项 表达式分析：用于检查表达式的正确性和合理性，例如常量表达式、算术表达式的合法性，错误。
因此，正确答案是 B. 数据流分析。