Table of contents 简介 第零章-写在前面 为什么是这本书？ 来源与版权信息 第一章-静态程序分析简介 初见——静态分析是什么？ 中间表示——静态分析器的输入 第二章-数据流分析——应用 数据流分析 到达定值分析 活跃变量分析 可用表达式分析 第三章-数据流分析——理论 数据流分析 到达定值分析 活跃变量分析 可用表达式分析