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

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

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