• 作业独立完成，和其他同学讨论的部分需在提交时说明
  • 平时作业在北大教学网上布置和提交，如提交pdf文件, 文件标题请以“学号-姓名-软分第x次作业”的格式书写
  • 在无特殊说明的情况下，当周作业需在下一周周二上课之前提交至教学网
  • 作业每道题目10分，晚于截止时间的作业，其最终得分将会乘以0.6
  • 第1次作业 2025/09/09 课程介绍 2025/09/16 上课前 截止
    • 完成课程介绍讲义中的练习并提交pdf文件
  • 第2次作业 2025/09/16 程序设计语言基础知识 2025/09/23 上课前 截止
    • 完成幻灯片中的练习并提交pdf文件
  • 第3次作业 2025/09/18 数据流分析：示例 2025/09/23 上课前 截止
    • 完成幻灯片中的练习并提交pdf文件
  • 第4次作业 2025/09/23 数据流分析：框架和扩展 等 2025/09/30 上课前 截止
    • 完成幻灯片中的练习并提交pdf文件
  • 第5次作业 2025/09/30 加宽变窄和抽象解释 2025/10/14 上课前 截止
    • 完成幻灯片中的练习并提交pdf文件
  • 第6次作业 2025/10/14 多角度理解程序分析 2025/10/21 上课前 截止
    • 完成幻灯片中的练习并提交pdf文件
  • 第7次作业 2025/10/16 过程间分析 2025/10/21 上课前 截止
    • 完成幻灯片中的练习并提交pdf文件
  • 第8次作业 2025/10/21 过程间分析加速技术 2025/10/28 上课前 截止
    • 完成幻灯片中的练习并提交pdf文件
  • 第9次作业 2025/10/30 过程内指针分析 2025/11/11 上课前 截止
    • 完成幻灯片中的练习并提交pdf文件
  • 第10次作业 2025/11/4 其他过程内指针分析 过程间指针分析 2025/11/18 上课前 截止
    • 完成幻灯片中的练习并提交pdf文件
  • 第11次作业 2025/11/11 静态单赋值和稀疏分析 2025/11/18 上课前 截止
    • 完成幻灯片中的练习并提交pdf文件
  • 第12次作业 2025/11/13 布尔可满足性 等 2025/11/18 上课前 截止
    • 完成幻灯片中的练习并提交pdf文件
  • 第13次作业 2025/11/25 符号执行 2025/11/25 上课前 截止
    • 完成幻灯片中的练习并提交pdf文件
  • 第14次作业 2025/12/09 符号抽象 2025/12/16 上课前 截止
    • 完成幻灯片中的练习并提交pdf文件
  • 第15次作业 2025/12/11 关系型抽象域 等 2025/12/16 上课前 截止
    • 完成幻灯片中的练习并提交pdf文件
  • 第16次作业 2025/12/16 程序合成：其他方法 2025/12/23 上课前 截止
    • 完成幻灯片中的练习并提交pdf文件