程序分析是编译、软件测试、系统安全等多个领域重要基础。最近尝试写了一些关于程序分析的讲义，帮助理解，包括四部分：

把这四章刷完，基本上程序分析的问题都可以解决了。

有什么问题，欢迎吐槽、反馈: yanggl at fudan.edu.cn