文章目录
南京大学李樾和谭添老师的软件分析视频课程,以下是课程笔记,方便回顾。
推送门:南大课件 南大视频课程 北大课件
第1节课:【课程笔记】南大软件分析课程1——课程介绍
第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)
声明:本站部分文章及图片源自用户投稿,如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢!