> For the complete documentation index, see [llms.txt](https://ranger-nju.gitbook.io/static-program-analysis-book/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://ranger-nju.gitbook.io/static-program-analysis-book/ch1.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)
