【软件分析学习笔记】5：可达定义分析(Reaching Definitions Analysis)

从这节开始两节课先学习数据流分析的应用，再往后两节学习数据流分析的基本原理。这节学习可达定义分析，下节学习活跃变量分析和可用表达式分析，它们都是数据流分析的常见应用。 1 数据流分析回顾 数据流分析研究的是抽象出的application-specific data如何在控制流图(CFG)上流动，大多数静态分析都是在CFG上进行分析的。 1.1 safe-approximation 对大多数静态分析

>>阅读原文<<