summerxxoo / spa-freestyle-guidance

带你畅游《软件分析》

SPA-Freestyle-Guidance

我看了一些同学交上来的代码……用游泳来比喻的话，大概就属于狗刨的那种。

​ ——谭添，评论于第七次实验作业布置不久

由南京大学李樾、谭添老师开设的《软件分析》（Static Program Analysis）课程精彩且详实地带领同学们学习了数据流分析、指针分析、污点分析以及前沿静态程序分析技术。其中课程实验的 Tai-e 框架让大家亲自动手，充分学习到了各类分析技术。

为了让大家在学习与复习的过程中能更加有条理，更加有思路，本仓库将为同学们提供一些可供参考的资料。预计这些资料由两部分组成：

• 第一部分：课件的笔记。笔记将基于 2021 Fall 版课件编写，且提示一些本年度考试所涉及的知识。
• 第二部分：实验的指导。本课程共设置八次实验，实验指导将基于实验手册本身进一步扩展，列举经常被同学们问到的问题，以及部分实验的思路。
  • 实验源码将在近期开放，请关注谭老师的知乎：@甜品专家

祝大家都能在这片软件分析之海学得自由泳！

阅读方式

本仓库正在施工，所以还会陆续补充/修订内容。

由于 Github 不支持 Latex 行内语法以及字体颜色渲染，因此我们建议您通过如下方式阅读：

• 将项目 clone 到本地，使用 Typora 等工具进行浏览。
• 下载 Release 中的 pdf 版本。（施工阶段暂不提供）

另见

• 课程主页，在这里你可以下载到课程课件以及实验手册。
• 由 RangerNJU 提供的在线课程书目，如果您并不是选课学生/喜欢阅读 Gitbook 资源，更加推荐您阅览 RangerNJU 的教程。