Static Analysis 05&06-Data Flow Analysis Foundations
目录
参考
- 数据流分析下 - Static Program Analysis Book (pblo.gq)
- SPA-Freestyle-Guidance/5_6_Data Flow Analysis Foundation.md at main · RicoloveFeng/SPA-Freestyle-Guidance (github.com)
- 【课程笔记】南大软件分析课程4——数据流分析基础(课时5/6) - 简书 (jianshu.com)
- zcc今天好好学习了吗的博客_CSDN博客-leetcode刷题记录,Android领域博主
重点
- 理解函数视角下的迭代算法
- 对于 lattice 和 complete lattice 的定义
- 理解不动点定理
- 知道如何用 lattice 来概述 may 和 must analysis
- MOP与迭代算法结果之间的关系
- 常量传播分析
- Worklist 算法
参考笔记已经写的很详细了,为什么不看看呢
就是懒