北京大学 软件分析技术
课程简介
- 所属大学：北京大学
- 先修要求：数据结构与算法，至少熟悉一门编程语言
- 编程语言：Java, Python
- 课程难度：🌟🌟🌟🌟
- 预计学时：60 小时
软件分析技术是由北京大学熊英飞老师开设的一门课程，主要介绍了以下内容：
- 基于抽象解释的程序分析（数据流分析、过程间分析、指针分析、抽象解释等）
- 基于约束求解的程序分析（SAT、SMT、符号执行等）
- 软件分析应用（程序合成、缺陷定位、缺陷修复等）
与南京大学的软件分析课程相比，这门课程涵盖更多程序分析理论与实践内容，难度也更大。
而本实验的的课程项目是实现一个Java上的指针分析系统和一个程序合成工具，也是十分有趣的实践。