本课程由南京大学李樾和谭添老师讲授，涵盖软件分析的核心概念和技术，包括IR、数据流分析、指针分析、污点分析等主题，深入探讨软件分析在实际编程中的应用。
文章目录
南京大学李樾和谭添老师的软件分析视频课程，以下是课程笔记，方便回顾。
第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）
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
