程序分析学习文档

（一）初识软件分析 | 技术和思考

（二）数据流分析基础 | 技术和思考

https://zhuanlan.zhihu.com/p/581748024

（四）静态单赋值和稀疏分析 | 技术和思考

（五）过程间分析 | 技术和思考

（六）指向分析 | 技术和思考

（七）抽象解释 | 技术和思考

（八）SMT和符号执行 | 技术和思考

（五）过程间分析 | 技术和思考