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

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

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

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