鯨書閱讀筆記-------第八章數據流分析（六）迭代數據流分析（後向）

後向問題的數據流 後向問題與前向問題之間存在對偶性。可以將其與基本塊的出口相連。 後向問題的數據流方程 給定的流圖G=<N,E>和一個格L，流圖G有屬於N的入口節點entry和出口結點exit。對所有的B∈N，計算out(B)∈L,其中out(B)表示從B出口時的數據流信息，他們由下面的數據流方程給出： 其中，Init表示從過程出口時數據流信息的適當初值，FB()表示與反向執行基本塊B對應的數據流

>>阅读原文<<