北京大学 软件分析技术¶
约 355 个字 预计阅读时间 1 分钟
课程简介¶
- 所属大学：北京大学
- 先修要求：数据结构与算法，至少熟悉一门编程语言
- 编程语言：Java, Python
- 课程难度：🌟🌟🌟🌟
- 预计学时：60 小时
软件分析技术是由北京大学熊英飞老师开设的一门课程，主要介绍了以下内容：
- 基于抽象解释的程序分析（数据流分析、过程间分析、指针分析、抽象解释等）
- 基于约束求解的程序分析（SAT、SMT、符号执行等）
- 软件分析应用（程序合成、缺陷定位、缺陷修复等）
和南京大学的软件分析课程对比，这门课程的特点是讲了**更多更全面**的程序分析的理论与实践相关内容，难度也更大。这门课程我的主要的学习途径是听课，熊老师上课十分有趣，除了理论内容讲的很好偶尔也会讲一些学术相关的小段子:)
而本实验的的课程项目是实现一个Java上的指针分析系统和一个程序合成工具，也是十分有趣的实践。