大家好，南京大學(xué)《軟件分析》課程的網(wǎng)站已經(jīng)建好了，課程網(wǎng)址為https://tai-e.pascal-lab.net/lectures.html（2023.3更新）。我們會(huì)陸續(xù)在這里公布我們每節(jié)課的課件（現(xiàn)已公布8節(jié)課的課件）。全部課件都會(huì)公布出來供大家學(xué)習(xí)參考。

還有一件事情要向大家說明一下。我們這門課是第一次開課，目前一直在準(zhǔn)備當(dāng)中。但實(shí)際上南京大學(xué)的老師已經(jīng)在4月13號(hào)正式進(jìn)入學(xué)校工作了，很多工作和科研任務(wù)接踵而至，對準(zhǔn)備課程帶來了巨大的挑戰(zhàn)，進(jìn)而我們很難充分準(zhǔn)備接下來的課程，出于對自身的要求，我們不想將沒有充分準(zhǔn)備好的課程錄像上傳。因此，我們決定從本周開始，將不再上傳課程錄像。

但是，我們看到一些校外的同學(xué)對靜態(tài)程序分析非常感興趣并想繼續(xù)學(xué)習(xí)，我們還希望能盡可能地幫助到這些同學(xué)，因此在南大正式開學(xué)前，我們將繼續(xù)在B站直播課程（不改用Zoom等學(xué)校推薦會(huì)議軟件），課程直播時(shí)間為每周三上午10點(diǎn)到12點(diǎn)，直播間地址https://live.bilibili.com/21833876。

------------------------------------------------------------

更新：因?yàn)檎{(diào)課緣故，本學(xué)期最后一節(jié)課的直播時(shí)間為6月12日（本周五）晚上8點(diǎn)到10點(diǎn)，主要內(nèi)容為Soundness and Soundiness，歡迎感興趣的同學(xué)屆時(shí)觀看??

------------------------------------------------------------

對于時(shí)間上不方便的同學(xué)，我們會(huì)盡可能將課件制作得詳盡易懂，讓大家可以通過課件就能get到相關(guān)知識(shí)。

再次感謝同學(xué)們對本課程的資瓷和鼓勵(lì)，祝大家學(xué)業(yè)進(jìn)步，樂在其中；少些浮躁，多些自信。加油！