数据流方程，然后通过迭代计算，反复求解，直到到达不动点。这种一般的方法是由Gary Kildall在Naval Postgraduate School讲课时发明的。
基本原理.数据流分析试图获得程序中每一点的特定信息。通常，在基本块的界限内就可以获得这些信息，因为很容易计算基本块中的信息。在前向流分析(forward flow analysis)中，一个块的结束状态是这个块起始状态的一个函数。函数由块内的语句的影响信息组成。一个块的开始状态是它的前驱的结束状态的函数。这就产生了一系