参考答案：D

解析：

静态分析通过解析程序文本从而识别出程序语句的各个部分，审查可能的缺陷和异常之处，静态分析包括五个阶段：控制流分析阶段找出并突出显示那些带有多重出口或入口的循环，以及不可达到的代码段；数据使用分析阶段突出程序中变量的使用情况；接口分析阶段检查子程序和过程说明及它们使用的一致性；信息流分析阶段找出输入变量和输出变量之间的依赖关系；路径分析阶段找出程序中所有可能的路径并画出在此路径中执行的语句。