控制流
第3章控制流分析
) = {X | F(X) X} (X) = {X | X F(X)} 第 3章 控制流分析 • Tarski定理 – 集合 XU是 F封闭的 当且仅当 F(X) X – 集合 XU是 F致密的 当且仅当 X F(X) – 定义 (X)和 (X) (X) = {X | F(X) X} (X) = {X | X F(X)} – 引理
) = {X | F(X) X} (X) = {X | X F(X)} 第 3章 控制流分析 • Tarski定理 – 集合 XU是 F封闭的 当且仅当 F(X) X – 集合 XU是 F致密的 当且仅当 X F(X) – 定义 (X)和 (X) (X) = {X | F(X) X} (X) = {X | X F(X)} – 引理