https://github.com/RicoloveFeng/SPA-Freestyle-Guidance

带你畅游《软件分析》
https://github.com/RicoloveFeng/SPA-Freestyle-Guidance

Last synced: 5 days ago
JSON representation

带你畅游《软件分析》

• Host: GitHub
• URL: https://github.com/RicoloveFeng/SPA-Freestyle-Guidance
• Owner: RicoloveFeng
• Created: 2022-01-10T04:13:59.000Z (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2022-08-01T16:07:45.000Z (over 2 years ago)
• Last Synced: 2024-08-02T15:32:58.792Z (3 months ago)
• Size: 9.32 MB
• Stars: 265
• Watchers: 5
• Forks: 17
• Open Issues: 3
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# SPA-Freestyle-Guidance

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

>

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

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

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

* 第一部分：课件的笔记。笔记将基于 2021 Fall 版课件编写，且提示一些本年度考试所涉及的知识。

* 第二部分：实验的指导。本课程共设置八次实验，实验指导将基于实验手册本身进一步扩展，列举经常被同学们问到的问题，以及部分实验的思路。

  * 实验源码将在近期开放，请关注谭老师的知乎：[@甜品专家](https://www.zhihu.com/people/silverbullettt)

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

## 阅读方式

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

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

* 将项目 clone 到本地，使用 Typora 等工具进行浏览。

* 下载 Release 中的 pdf 版本。（施工阶段暂不提供）

## 另见

* [课程主页](https://pascal-group.bitbucket.io/teaching.html)，在这里你可以下载到课程课件以及实验手册。

* 由 RangerNJU 提供的[在线课程书目](https://github.com/RangerNJU/Static-Program-Analysis-Book)，如果您并不是选课学生/喜欢阅读 Gitbook 资源，更加推荐您阅览 RangerNJU 的教程。