# Static Program Analysis Book

## Static Program Analysis Book

- [简介](https://ranger-nju.gitbook.io/static-program-analysis-book/readme.md)
- [写在前面](https://ranger-nju.gitbook.io/static-program-analysis-book/ch0/ch0.md)
- [为什么是这本书？](https://ranger-nju.gitbook.io/static-program-analysis-book/ch0/ch0/00-01-why-this-book.md)
- [资料来源与版权信息](https://ranger-nju.gitbook.io/static-program-analysis-book/ch0/ch0/00-02-sources-and-license.md)
- [课程介绍与实验进度安排](https://ranger-nju.gitbook.io/static-program-analysis-book/ch0/1_intro.md)
- [静态程序分析简介与数据流分析](https://ranger-nju.gitbook.io/static-program-analysis-book/ch1/ch1.md)
- [中间表示](https://ranger-nju.gitbook.io/static-program-analysis-book/ch1/2intermediaterepresentation.md)
- [数据流分析上](https://ranger-nju.gitbook.io/static-program-analysis-book/ch1/34dataflowanalysis.md)
- [数据流分析下](https://ranger-nju.gitbook.io/static-program-analysis-book/ch1/56dataflowanalysisfoundation.md)
- [过程间分析简介](https://ranger-nju.gitbook.io/static-program-analysis-book/ch2/ch2.md)
- [指针分析简介](https://ranger-nju.gitbook.io/static-program-analysis-book/ch3/pointer-analysis.md)
- [指针分析简介](https://ranger-nju.gitbook.io/static-program-analysis-book/ch3/pointer-analysis/03-01-pointer-analysis-spa.md)
- [指针分析理论（上）](https://ranger-nju.gitbook.io/static-program-analysis-book/ch3/pointer-analysis/03-02-pointer2-analysis-spa.md)
- [指针分析理论（下）](https://ranger-nju.gitbook.io/static-program-analysis-book/ch3/pointer-analysis/03-03-pointer3-analysis-spa.md)
- [指针分析进阶](https://ranger-nju.gitbook.io/static-program-analysis-book/ch3/context-sensitivity.md)
- [上下文敏感分析（上）](https://ranger-nju.gitbook.io/static-program-analysis-book/ch3/context-sensitivity/03-04-context-sensitivity.md)
- [上下文敏感分析（下）](https://ranger-nju.gitbook.io/static-program-analysis-book/ch3/context-sensitivity/03-05-cs2.md)
- [应用——污点分析](https://ranger-nju.gitbook.io/static-program-analysis-book/ch4/04-01-security.md)
- [实现——声明式指针分析](https://ranger-nju.gitbook.io/static-program-analysis-book/ch4/04-02-datalog-based-pa.md)
- [另一种静态分析框架——IFDS](https://ranger-nju.gitbook.io/static-program-analysis-book/ch5/05-01-ifds.md)
- [从Soundness到Soundiness](https://ranger-nju.gitbook.io/static-program-analysis-book/ch5/05-02-soundiness.md)