歌曲名《Hello, Morning》，由 Kizuna AI 演唱，收录于《Hello, Morning》专辑中

歌曲名《城のある町にて》，由 饭碗的彼岸 演唱，收录于《城のある町にて》专辑中

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