大家好,鉴于过去的一年多向我们询问南京大学《软件分析》课程后半部视频的战友太多了,且考虑到程序分析人才培养的缺口依然较大,作为教育工作者也深知知识传播的时效性很重要,我们决定今天将2020年初第一次开课时的后半部课程直播录像全部放出,供大家参考学习程序分析技术。
(由于录视频时是两位新进教师的第一次授课,不成熟之处,望大家理解包容)
作为普及程序分析技术的下一步,我们将在明年初公开南京大学《软件分析》全新的课程实验平台“太阿”(Tai-e)及其所有实验作业。
祝大家吃好、睡好、学好。
南京大学
李樾、谭添
2021.12.14