鲸书阅读笔记-------第八章数据流分析（六）迭代数据流分析（后向）

后向问题的数据流

后向问题与前向问题之间存在对偶性。可以将其与基本块的出口相连。

后向问题的数据流方程

给定的流图G=<N,E>和一个格L，流图G有属于N的入口节点entry和出口结点exit。对所有的B∈N，计算out(B)∈L,其中out(B)表示从B出口时的数据流信息，他们由下面的数据流方程给出：

其中，Init表示从过程出口时数据流信息的适当初值，FB()表示与反向执行基本块B对应的数据流信息转换，∩模拟合并从一个基本块出来的各条边的数据流信息的效果。也可以只用out()函数来表示：

算法策略

与前向数据流问题给出的算法是相同的。

需要进行替换的是：

       1）按逆前序初始化工作表

       2）out替换in，exit替换entry，Succ()替换Pred()