Static Analysis 05&06-Data Flow Analysis Foundations

目录

参考

重点

  • 理解函数视角下的迭代算法
  • 对于 lattice 和 complete lattice 的定义
  • 理解不动点定理
  • 知道如何用 lattice 来概述 may 和 must analysis
  • MOP与迭代算法结果之间的关系
  • 常量传播分析
  • Worklist 算法

参考笔记已经写的很详细了,为什么不看看呢 就是懒