南京大学-软件分析-课程05-数据流分析基础理论2

7. 迭代算法与不动点定理关联

我们需要证明自己的Transfer Function是单调的

代码什么时候会停止

8. May/Must Analysis, A Lattice View

May Analysis

Unsafe result->Safe result
如果我是一个查错的定义，
没有no definition的错误，这是一个不安全的结果。
所有的definition都有可能有错，这是一个安全但没有用的结果。

这里假设{a,c}是Truth。

9. MOP and Distributivity

• Meet-Over-All-Paths Solution (MOP)
• 枚举所有的路径从Entry到Si
  
  

10. Constant Propagation

常量传播：

• Given a variable x at program point p, determine whether x is guaranteed to hold a constant value at p.
• The OUT of each node in CFG, includes a set of pairs (x, v) where x is a variable and v is the value held by x after that node

A data flow analysis framework (D, L, F) consists of:

• D：forwards
• L：如下
• F：如下
• 

11. Worklist Algorithm

Worklist算法对比迭代算法减少了无用的重复部分。