本文介绍了数据流分析的核心概念，即数据如何在控制流图（CFG）的节点和边上流动。详细阐述了三种经典分析：到达定值分析（检测变量定义）、活跃变量分析（判断变量未来是否被使用）和可用表达式分析（识别可复用的计算结果）。每种分析都涉及数据抽象、转移方程、控制流处理及迭代算法，并说明了初始化策略和终止条件（不动点）。