第2章 数据流分析 为一类数据流模式建一个共同理论框架 总结已讨论过的四种数据流分析模式 整理出该框架的一些基本特征或原则 规范框架中的性质空间要满足的特征 规范框架中迁移函数要满足的性质 给出框架的定义 区分单调框架和分配框架的区别 常量传播数据流模式不是分配的
第2章 数据流分析 • 为一类数据流模式建一个共同理论框架 – 总结已讨论过的四种数据流分析模式 –整理出该框架的一些基本特征或原则 –规范框架中的性质空间要满足的特征 –规范框架中迁移函数要满足的性质 –给出框架的定义 –区分单调框架和分配框架的区别 –常量传播数据流模式不是分配的
第2章 数据流分析 位向量框架(Bit vector framework) Single-bit representation of each data flow property Separability of solution Data flow properties can be evaluated independently Merge operation is a bitwise AND or OR operation Monotonic bit function A bit function cannot negate any bit
第2章 数据流分析 • 位向量框架（Bit vector framework） – Single-bit representation of each data flow property – Separability of solution • Data flow properties can be evaluated independently • Merge operation is a bitwise AND or OR operation – Monotonic bit function • A bit function cannot negate any bit