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

2023-12-21 19:39:48

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算法对比迭代算法减少了无用的重复部分。
在这里插入图片描述

文章来源:https://blog.csdn.net/qq_45467608/article/details/135133327
本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。