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 算法

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