程序分析

先修要求

• 编译原理或等价的 AST/IR 基础。
• 离散数学和基本算法。
• 熟悉一种可用于实现分析器的语言。

学习目标

• 构造 CFG、调用图和数据流事实。
• 实现经典数据流分析和抽象解释。
• 理解精度、可扩展性和健全性的取舍。
• 使用约束求解或符号执行发现路径问题。
• 设计一个静态安全检查器并评估误报漏报。

教学组织

• 每周 2 次课堂：一次讲授核心概念，一次用于实验、论文讨论或项目评审。
• 课程按 16 周推进，每周都有可检查的作业、实验或项目里程碑。
• 强调可复现材料：代码、配置、数据、实验日志和报告需要能被助教或同学复查。

周计划

考核方式

课程项目

项目要求实现一个面向真实代码片段的静态分析器或符号执行工具，给出算法说明、benchmark、误报漏报分析和使用文档。

课程政策

• 允许使用 AI 工具，但所有生成代码、实验记录和设计建议必须经过学生本人审查，并在报告中说明使用方式。
• 严禁提交不能解释的代码、证明、配置或实验结果；答辩时每名成员都需要解释自己负责部分的设计、测试和取舍。
• 迟交会影响迭代评分，但课程更看重可复现、可审计和可维护的结果，而不是临时堆砌。