Program Analysis

静态分析：
- 相关课程：
  - PKU 软件分析技术：[Page] [Bilibili]
  - NJU 软件分析： [Page] [Bilibili]
- 符号执行：A Survey of Symbolic Execution Techniques：[Paper]
- 指针分析：Pointer Analysis：[Paper]
- 堆分析：Shape Analysis：[Paper]
- 参数化分析：[Paper]
动态分析：
- Fuzzing（这个也可以放在Security）：[Paper]
  - CS研究生如何入门模糊测试方向？[Page]
  - Fuzzing技术总结 [Page]
  - Fuzzing Notes [Page]
  - AFL：[GitHub] [Tutorial]
  - Fuzzing-101（练习afl++工具，可作为fuzz入门的十个“小”练习）[GitHub]
程序分析工具：
- Java：
  - Wala：[GitHub] [Tutorial(unfinished)]
  - Doop：[GitHub]
  - Soot：[GitHub]
- C++：
  - C/C++开源静态代码分析及验证工具介绍：[Page]
  - SVF（找Bug、指针分析、etc...，好像不包含DSA）：[GitHub]
  - dg（PDG）：[GitHub]
  - phasar（数据流分析）：[GitHub]
  - ikos（数值抽象域）：[GitHub]
  - Smack（模型检测）：[GitHub]
LLVM：[Book]