大家好，鑒于過(guò)去的一年多向我們?cè)儐?wèn)南京大學(xué)《軟件分析》課程后半部視頻的戰(zhàn)友太多了，且考慮到程序分析人才培養(yǎng)的缺口依然較大，作為教育工作者也深知知識(shí)傳播的時(shí)效性很重要，我們決定今天將2020年初第一次開課時(shí)的后半部課程直播錄像全部放出，供大家參考學(xué)習(xí)程序分析技術(shù)。

（由于錄視頻時(shí)是兩位新進(jìn)教師的第一次授課，不成熟之處，望大家理解包容）

作為普及程序分析技術(shù)的下一步，我們將在明年初公開南京大學(xué)《軟件分析》全新的課程實(shí)驗(yàn)平臺(tái)“太阿”（Tai-e）及其所有實(shí)驗(yàn)作業(yè)。

祝大家吃好、睡好、學(xué)好。

南京大學(xué)

李樾、譚添

2021.12.14