軟件分析課筆記——介紹

class 1 介紹 逛b站的時候，發現南京大學開設了軟件分析課，和我目前學的課程有很大的重合。由於學校開的網課沒有好好聽，打算好好做人跟着南大的老師學一下靜態分析課的內容。 ps：由於我的筆記是用Typora上寫，寫完再上傳的，所以格式會有點問題，請見諒；並且筆記裏面可能會有表述、語病等方面的問題。 嚴格來說，靜態分析就是屬於程序語言的研究領域，並且是應用部分 程序語言 理論部分 （1）語言設計

>>阅读原文<<