【课程笔记】南大软件分析课程—16课时完整版

南京大学李樾和谭添老师的软件分析视频课程,以下是课程笔记,方便回顾。

推送门:南大课件 南大视频课程 北大课件

第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)

你可能感兴趣的:(静态分析,软件分析,程序分析)