我看了一些同学交上来的代码……用游泳来比喻的话，大概就属于狗刨的那种。
——谭添，评论于第七次实验作业布置不久
由南京大学李樾、谭添老师开设的《软件分析》（Static Program Analysis）课程精彩且详实地带领同学们学习了数据流分析、指针分析、污点分析以及前沿静态程序分析技术。其中课程实验的 Tai-e 框架让大家亲自动手，充分学习到了各类分析技术。
为了让大家在学习与复习的过程中能更加有条理，更加有思路，本仓库将为同学们提供一些可供参考的资料。预计这些资料由两部分组成：
- 第一部分：课件的笔记。笔记将基于 2021 Fall 版课件编写，且提示一些本年度考试所涉及的知识。
- 第二部分：实验的指导。本课程共设置八次实验，实验指导将基于实验手册本身进一步扩展，列举经常被同学们问到的问题，以及部分实验的思路。
- 实验源码将在近期开放，请关注谭老师的知乎：@甜品专家
祝大家都能在这片软件分析之海学得自由泳！
本仓库正在施工，所以还会陆续补充/修订内容。
由于 Github 不支持 Latex 行内语法以及字体颜色渲染，因此我们建议您通过如下方式阅读：
- 将项目 clone 到本地，使用 Typora 等工具进行浏览。
- 下载 Release 中的 pdf 版本。（施工阶段暂不提供）