【軟件分析/靜態程序分析學習筆記】6.過程間分析(Interprocedural Analysis)

寫在前面的話 本渣有幸成爲南京大學軟件學院研究生，在前往仙林校區蹭課的時候偶然發現了這門寶藏課程，聽了以後感覺深有收穫，但又因爲課程難度較大，國慶假期歸來發現遺忘較多，因此開了一坑來記錄自己對每節課知識點的理解。也由於這是本人第一次開坑寫博客，結構內容自有諸多不合理之處，希望有問題的地方大家可以指出。 前面四篇文章講了數據流分析的算法和比較底層的知識，不過那些算法都是適用於單個函數內的數據流分析，

>>阅读原文<<