一種靜態(tài)代碼安全分析系統(tǒng)的設(shè)計與實現(xiàn).pdf

1、隨著基于計算機應(yīng)用的不斷發(fā)展，人們面臨的安全問題也日漸增多。而現(xiàn)存的計算機安全問題，大部分是由于應(yīng)用軟件本身的安全漏洞引起的，如何構(gòu)建分析系統(tǒng)去檢測軟件的安全性已經(jīng)成為信息科學(xué)技術(shù)領(lǐng)域迫切需要解決的問題。 本文主要的工作是在分析各種靜態(tài)代碼檢測技術(shù)的基礎(chǔ)上，針對各種具體的安全問題，提出一個靜態(tài)代碼安全檢測模型，并將該模型應(yīng)用到系統(tǒng)中，使用戶可以通過輸入源碼，得到工程的風(fēng)險報告。 本文的主要成果如下： 1)分析了傳

2、統(tǒng)的靜態(tài)代碼安全檢測技術(shù)以及國內(nèi)外現(xiàn)有的靜態(tài)代碼安全檢測工具，總結(jié)其優(yōu)缺點，提出構(gòu)建上下文信息的重要性。 2)介紹當(dāng)前軟件代碼的風(fēng)險分類，分析各種類型風(fēng)險的成因，討論了幾種常見安全問題的檢測方法，總結(jié)出靜態(tài)代碼安全檢測的常規(guī)流程。 3)結(jié)合現(xiàn)代編譯原理成熟的數(shù)據(jù)流、控制流技術(shù)構(gòu)建上下文信息，搭建靜態(tài)代碼安全檢測模型，并將該模型應(yīng)用于系統(tǒng)，其能夠從源代碼入手，根據(jù)語法與語義，分析程序的結(jié)構(gòu)與關(guān)鍵特征，從而獲得程序的安全風(fēng)險