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

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

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