- 作业独立完成，和其他同学讨论的部分需在提交时说明
- 问答类作业提交pdf文件即可, 文件标题请以“
学号-姓名-软分第x次作业”的格式书写（x请用汉字）
- 平时作业发送到助教的邮箱（ruanfen2023@163.com），邮件标题请以“
学号-姓名-软分第x次作业”的格式书写（x请用汉字）
-
2023/09/12
课程介绍
[2023/09/19 上课前 截止]
-
2023/09/19
程序设计语言基础知识
[2023/09/26 上课前 截止]
-
完成程序设计语言基础知识讲义中的练习并提交pdf文件
-
2023/09/21
数据流分析：基础
[2023/09/28 UTC+8 23:59:59 截止]
-
2023/09/26
数据流分析：框架和扩展
[2023/10/10 上课前 截止]
-
完成数据流分析：框架和扩展讲义中的练习并提交pdf文件
-
2023/10/10
抽象解释和分析精度
[2023/10/17 上课前 截止]
-
完成抽象解释和分析精度讲义中的练习并提交pdf文件
-
2023/10/17
多角度理解程序分析
等
[2023/10/24 上课前 截止]
-
完成多角度理解程序分析讲义中的练习并提交pdf文件
-
2023/10/19
过程间分析加速技术
[2023/10/31 上课前 截止]
-
作业七（不要交错序号）：完成过程间分析（上一个胶片）以及过程间分析加速技术（本胶片）讲义中的练习并提交一份pdf文件（交在一起）
-
2023/10/31
静态单赋值和稀疏分析
[2023/11/07 上课前 截止]
-
完成静态单赋值和稀疏分析讲义中的练习并提交pdf文件
-
2023/11/14
关系型抽象域
[2023/11/28 上课前 截止]
-
作业九:完成关系型抽象域讲义中的练习并提交pdf文件
-
2023/11/16
布尔可满足性
[2023/11/28 上课前 截止]
-
作业十:完成布尔可满足性讲义中的练习并提交pdf文件
-
2023/11/21
可满足性模理论
[2023/12/05 上课前 截止]
-
作业十一:完成可满足性模理论讲义中的练习并提交pdf文件
-
2023/11/28
符号执行
[2023/12/05 上课前 截止]
-
作业十二:完成符号执行讲义中的练习并提交pdf文件
