数据流分析 数据流分析 一组用来获取程序执行路径上的数据流信息的技术 数据流分析应用 到达-定值分析 活跃变量分析 可用表达式分析 数据流分析模式 语句的数据流模式 基本块上的数据流模式 到达定值分析 到达定值 到达定值分析的主要用途 循环不变计算的检测 常量合并 判定变量x在p点上是否未经定值就被引用 到达定值的传递函数 到达定值的数据流方程