Brief

此repo作为南大Static Program Analysis公开课的笔记。

相关链接：

• Rust实现三个算法
  • repo：https://github.com/lengyijun/software-analysis
  • 文章：https://zhuanlan.zhihu.com/p/374421457
• 大佬的课程笔记：https://blog.csdn.net/qq_29278173/article/details/129129261

课程思维导图仅更新至Datalog课程，.mind源文件使用idDraw软件打开。

静态分析门槛高，需要有不少的基础(对于本课程，需要Java，编译原理，少许算法，英语等)，看完也算是入门静态分析了，继续加油吧

加入Static Analysis交流微信群：TEVWSV8xMDQ=