大学课件数据流分析.ppt

* * * * * * * * * * * /sundae_meng /sundae_meng /sundae_meng /sundae_meng /sundae_meng /sundae_meng /sundae_meng /sundae_meng /sundae_meng /sundae_meng /sundae_meng 第2章 数据流分析 内容概述 数据流分析推导的是数据沿着程序执行路径流动的信息 过程内的分析：可用表达式分析、到达－定值分析等 过程间分析 Shape分析 理论基础 数据流方程的求解 /sundae_meng 第2章 数据流分析 数据流分析的用途 编译优化、程序维护 程序安全性的检查 和编译原理课程的区别 基于源代码的结构化分析方法，而不是基于基本块和程序流图的分析 从过程内讨论到过程间 强调理论基础 /sundae_meng 第2章 数据流分析 数据流分析的正确性 数据流分析所得结论同程序运行时的情况一致 需要定义机器模型和操作语义，证明所得结论对操作语义可靠 由于数据流分析收集的信息同基本块和控制流有关，通常和变量值无关，因此不同于一般的可靠性证明，例如Hoare逻辑的赋值公理是可靠的 {x = 1} x := x + 1 {x = 2} /sundae_meng 活跃变量分析 活跃变量分