南京大学李樾和谭添老师的软件分析视频课程，以下是课程笔记，方便回顾。
第2节课：【课程笔记】南大软件分析课程2——IR
第3、4节课：【课程笔记】南大软件分析课程3——数据流分析应用（课时3/4）
第5、6节课：【课程笔记】南大软件分析课程4——数据流分析基础（课时5/6）
第7节课：【课程笔记】南大软件分析课程5——过程间分析（课时7）
第8节课：【课程笔记】南大软件分析课程6——指针分析介绍（课时8）
第9、10节课：【课程笔记】南大软件分析课程7——指针分析基础（课时9/10）
第11、12节课：【课程笔记】南大软件分析课程8——指针分析-上下文敏感（课时11/12）
第13课时：【课程笔记】南大软件分析课程9——污点分析（课时13）
第14课时：【课程笔记】南大软件分析课程10——基于Datalog的程序分析（课时14）
第15课时：【课程笔记】南大软件分析课程11——CFL可达性&IFDS（课时15）
第16课时：【课程笔记】南大软件分析课程12——Soundiness（课时16）
文档信息
- 本文作者：bsauce
- 本文链接：https://bsauce.github.io/2020/05/08/software-analysis/
- 版权声明：自由转载-非商用-非衍生-保持署名（创意共享3.0许可证）