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

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

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