Static Program Analysis Book
  • 简介
  • 前言
    • 写在前面
      • 为什么是这本书？
      • 资料来源与版权信息
    • 课程介绍与实验进度安排
  • 数据流分析
    • 静态程序分析简介与数据流分析
    • 中间表示
    • 数据流分析上
    • 数据流分析下
  • 过程间分析
    • 过程间分析简介
  • 指针分析
    • 指针分析简介
      • 指针分析简介
      • 指针分析理论（上）
      • 指针分析理论（下）
    • 指针分析进阶
      • 上下文敏感分析（上）
      • 上下文敏感分析（下）
  • 指针分析应用与声明式实现
    • 应用——污点分析
    • 实现——声明式指针分析
  • 其他话题
    • 另一种静态分析框架——IFDS
    • 从Soundness到Soundiness
由 GitBook 提供支持