对值的每次迭代操作要么与之前一致，要么会变大，而有界性保证了它不会无限增大下去。因此最终我们会到达一个状态对于所有的x，有T(x) = x，此时即是不动点。活性变量分析 计算每个程序点上的那些在重新定义前可以被潜在的使用的变量。这个的典型应用是用于死码删除，移除那些给变量赋值但之后变量未被使用的语句。
后向分析.块的入口状态是在上个块的末端仍然具有活性的变量的集合。
其它方法.在2002年，Mohnen描述了数据流分析的一个新方法，这种方法不需要显式的