SPA-Freestyle-Guidance

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

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

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

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

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

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

阅读方式

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

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

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

另见

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