面向軍工應(yīng)用軟件的源代碼漏洞分析系統(tǒng)的研究與實(shí)現(xiàn).pdf

1、隨著信息化的不斷發(fā)展，軍工應(yīng)用軟件的使用范圍越來(lái)越廣，軟件復(fù)雜度的不斷提高，軟件安全重要性顯得尤為突出。當(dāng)前軍工企業(yè)的應(yīng)用軟件主要面臨保密安全性和可靠安全性兩大安全性隱患，通過(guò)對(duì)國(guó)內(nèi)國(guó)防軍事工業(yè)單位的軟件普查和調(diào)研數(shù)據(jù)分析，顯示有57％的當(dāng)前各類應(yīng)用軟件采用C/C++作為編寫(xiě)語(yǔ)言，且在運(yùn)行中已經(jīng)暴露出穩(wěn)定性、完整性、安全性方面存在問(wèn)題，即表明在設(shè)計(jì)、開(kāi)發(fā)和使用中存在著諸多軟件安全漏洞。本文特針對(duì)該行業(yè)應(yīng)用軟件領(lǐng)域中的普遍存在的緩沖區(qū)溢出

2、漏洞攻擊、內(nèi)存泄漏的檢測(cè)技術(shù)進(jìn)行了研究，首先分析了相關(guān)課題的研究背景，并針對(duì)當(dāng)前該領(lǐng)域國(guó)內(nèi)外的研究現(xiàn)狀和發(fā)展趨勢(shì)進(jìn)行了分析，在此基礎(chǔ)上闡述了本課題的研究?jī)?nèi)容。
　　由于近幾年基于靜態(tài)分析的檢測(cè)方案逐漸成為軟件測(cè)試的重要研究手段，本文將檢測(cè)技術(shù)的重點(diǎn)放在了靜態(tài)方法上的研究，并跟蹤了國(guó)內(nèi)外對(duì)于靜態(tài)分析軟件的相關(guān)研究。首先對(duì)源代碼漏洞分析系統(tǒng)進(jìn)行了建模，緊接著從緩沖區(qū)溢出攻擊和內(nèi)存泄漏的原理入手，對(duì)兩類與內(nèi)存相關(guān)聯(lián)的漏洞的檢測(cè)技術(shù)進(jìn)行了

3、深入而系統(tǒng)的研究。同時(shí)分析了檢測(cè)這些問(wèn)題的重點(diǎn)和難點(diǎn)，基于這些研究，本項(xiàng)目提出了一種代碼原型檢測(cè)工具，通過(guò)生成待檢測(cè)源碼的控制流程圖，進(jìn)行代碼結(jié)構(gòu)抽象表述，再利用指針作用域限定和遞歸求解等方法對(duì)漏洞實(shí)施檢測(cè)，在線性時(shí)間內(nèi)完成檢測(cè)，同時(shí)避免了以往檢測(cè)而造成的路徑爆炸等問(wèn)題。
　　最后本文分類測(cè)試了包含以上兩種漏洞的源代碼，測(cè)試結(jié)果表明該系統(tǒng)能夠準(zhǔn)確檢測(cè)代碼中存在的安全漏洞問(wèn)題，提高了檢測(cè)系統(tǒng)的工作效率，降低了誤報(bào)率和漏報(bào)率。達(dá)到了系