Table of contents 简介 前言 写在前面 为什么是这本书? 资料来源与版权信息 课程介绍与实验进度安排 数据流分析 静态程序分析简介与数据流分析 中间表示 数据流分析上 数据流分析下 过程间分析 过程间分析简介 指针分析 指针分析简介 指针分析简介 指针分析理论(上) 指针分析理论(下) 指针分析进阶 上下文敏感分析(上) 上下文敏感分析(下) 指针分析应用与声明式实现 应用——污点分析 实现——声明式指针分析 其他话题 另一种静态分析框架——IFDS 从Soundness到Soundiness