第12章 过程间分析

原书起始页码：p.573

本页是个人读书笔记

本页是《编译原理》（原书第 2 版）第 12 章的读书笔记，不含原书正文。 下面的小节标题只作为阅读索引，用于对齐原书结构；内容由你自己填写。

本章速览

12.1 基本概念

12.2 为什么需要过程间分析

12.3 数据流的一种逻辑表示方式

12.4 一个简单的指针分析算法

12.5 上下文无关的过程间分析

12.6 上下文相关指针分析

12.7 使用 BDD 的 Datalog 实现

小结与习题

习题	思路与结论