【軟件分析/靜態程序分析學習筆記】0.靜態程序分析(Static Programming Analysis)介紹

寫在前面的話 本渣有幸成爲南京大學軟件學院研究生，在前往仙林校區蹭課的時候偶然發現了這門寶藏課程，聽了以後感覺深有收穫，但又因爲課程難度較大，國慶假期歸來發現遺忘較多，因此開了一坑來記錄自己對每節課知識點的理解。也由於這是本人第一次開坑寫博客，結構內容自有諸多不合理之處，希望有問題的地方大家可以指出。 這門課程在課表上名叫軟件分析，但是實際上應該叫做靜態程序分析，老師說這樣起名主要是怕靜態程序分析

>>阅读原文<<