静态分析基础教程

基于南京大学软件分析课程。本作品采用知识共享署名-非商业性使用-相同方式共享 4.0 国际许可协议进行许可。

教程网址：https://static-analysis.cuijiacai.com/

前置要求

作为先决条件，您需要了解数据结构和算法，并熟悉一种编程语言（Java 会比其他语言更好，因为我们是以它为例进行讲解的）。编译原理不是先决条件，尽管理解它会更好。该教程面向高年级本科生和各级研究生。

贡献指南

各位读者有什么新的想要增补的内容，或者有什么想要对现有内容改进的想法可以直接提交 PR（Pull Request），欢迎贡献（github 和网站是自动同步的，新的 commit 一会儿就会同步到网站上）。在 PR 中提交 commit 后可以直接在 github 的 PR 界面预览修改后的网页结果，不配置 Vuepress 的本地开发环境也是 OK 的。

如果你需要本地预览，需要 nodejs-v16 的环境，然后：

git clone https://github.com/JacyCui/static-analysis.git
cd static-analysis
npm install
npm run docs:dev

即可在 http://localhost:8080/ 查看本地预览。