数据流分析 数据流分析 是一种用于收集计算机程序在不同点计算的值的信息的技术一个程序的控制流圖control flow graph CFG被用来确定对变量的一次赋值可能传播到程序中的哪些部分这些信息通常被编译器用来优化程序数据流分析的一个典型的例子就是可到达定义的计算 进行数据流分析的最简单的一种形式就是对控制流图的某个节点建立数据流方程然后通过迭代计算反复求解直到到达不动点这個方法是由蓋瑞基爾多在海军研究生院任教时发明的