数据流分析学习

- 第2章 数据流分析 - 数据流分析的正确性数据流分析所得结论同程序运行时的情况一致需要定义机器模型和操作语义，证明所得结论对操作语义可靠由于数据流分析收集的信息同基本块和控