程序分析课程与自动程序修复选题
CS224 程序分析课程的四次 Quiz 与 Tai-e 作业框架，加上围绕自动程序修复（autoFL、课程微调框架论文）做的课程论文与选题材料
这件事
2022 年 8 月我上 CS224 程序分析，四次 Quiz 加上 Tai-e 作业框架。那是我第一次从写代码转到分析代码。
课程作业之外，我围绕自动程序修复做了课程论文和选题，读了 autoFL，也看了课程微调框架那条线。692 个文件、43299 行，其中四万多行 Java 是 Tai-e 框架那部分。
最后改动 2025 年 1 月 5 日，之后搁置。
档案条目：内容整理自作者访谈与目录采集，不是完整案例。
约 43,299 行代码；692 个文件；主要是 java、py、sh；来源：本地目录 program-analysis-course