数据流框架具有有穷高度的情况。因为每个IN[B]和OUT[B]的值在每次被改变时都会减小，而程序在某一轮循环中没有值改变时就会停止，因此算法的迭代次数不会大于框架高度和流图结点个数的乘积，因此算法必然终止。
我们可以对算法进行推广，使之能够处理各种数据流问题。通用数据流框架的迭代解法。

输入：一个由下列部分组成的数据流框架：

1)一个数据流图，它有两个被特别标记为ENTRY和EXIT的结点。

2)数据流的方向D。

3)一个值集V。