【軟件分析學習筆記】5：可達定義分析(Reaching Definitions Analysis)

從這節開始兩節課先學習數據流分析的應用，再往後兩節學習數據流分析的基本原理。這節學習可達定義分析，下節學習活躍變量分析和可用表達式分析，它們都是數據流分析的常見應用。 1 數據流分析回顧 數據流分析研究的是抽象出的application-specific data如何在控制流圖(CFG)上流動，大多數靜態分析都是在CFG上進行分析的。 1.1 safe-approximation 對大多數靜態分析

>>阅读原文<<