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

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

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

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