計算機專業畢設演示文檔_第1頁
計算機專業畢設演示文檔_第2頁
計算機專業畢設演示文檔_第3頁
計算機專業畢設演示文檔_第4頁
計算機專業畢設演示文檔_第5頁
已閱讀5頁,還剩13頁未讀 繼續免費閱讀

下載本文檔

版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領

文檔簡介

C語言源代碼靜態檢測工具設計與實現姓名:劉航源班級:04010101學號:2010040101015指導老師:鄭志勇書目第一章:系統簡介其次章:總體功能模塊第三章:系統具體設計及實現第四章:總結第一章:系統簡介隨著信息社會的發展,網絡的擔憂全問題越來越嚴峻,其中很多平安問題都是由于軟件本身存在平安漏洞所引起的,并且造成了巨大的經濟損失。一方面是程序員編程上的疏忽,一方面也是相關語言沒有供應完整的平安機制。在眾多的語言中,C語言也被認為是最簡潔遭到攻擊的語言。所以代碼的平安檢查就變得極其重要。但是由于現代軟件工程越來越困難,致使傳統的檢查方法在精確度和效率上都不能滿足要求,所以代碼的靜態平安檢測工具應運而生。選題背景:主要內容:靜態源代碼掃描是近年被人提及較多的軟件應用平安解決方案之一,它是指在軟件工程中,程序員在寫好源代碼后,無需經過編譯器編譯,而干脆運用一些掃描工具對其進行掃描,找出代碼當中存在的一些平安漏洞的解決方案。本項目探討任務如下:1.靜態代碼分析工具調研,探討目前主流的靜態代碼分析工具和平安漏洞原理,調研目前最新的探討成果并形成探討報告。2.靜態代碼分析工具研制:檢查C語言程序潛在的平安隱患,并發覺編譯器不能發覺的事情。設計思路:我首先調研了國內外的關于靜態平安檢測的探討現狀以及代碼平安檢測技術的主要趨勢,然后提出我們的構想與設計目標,具體論述了系統的需求分析、概要設計、具體設計與實現、系統測試等相關過程,編程語言運用Python語言,并且運用了PyQt類庫作為圖形開發工具。通過運用Python語言整合開源的靜態檢測工具Splint和Flawfinder,并實現代碼的靜態平安檢查,參數設定以及生成分析圖表等功能。技術簡介:Python語言:Python是一種說明型、面對對象、動態數據類型的高級程序設計語言。自從20世紀90年頭初Python語言誕生至今,它漸漸被廣泛應用于處理系統管理任務和Web編程。Python已經成為最受歡迎的程序設計語言之一。PyQt類庫:PyQt是一個創建GUI應用程序的工具包。它是Python編程語言和Qt庫的成功融合。Qt庫是目前最強大的庫之一。它有超過300類,將近6000個函數和方法。它是一個多平臺的工具包,可以運行在全部主要操作系統上,包括UNIX,Windows和Mac。其次章:總體功能模塊系統總體功能圖界面功能圖第三章:系統具體設計及實現代碼顯示框書目列表顯示檢測結果顯示顯示框顯示結果圖自定義模式下的參數配置統計圖形統計表格第四章:總結本系統已經實現了預期的功能,并在用戶友好性上做出了很多的改進。為用戶供應了更多的便利,并且添加了參數選擇功能,這樣用戶就可以依據自己的須要將不必要的檢查結果去掉。這樣就可以在源頭上消退代碼檢查工具中普遍存在的錯報誤報漏洞的狀況。但是,本系統也存在著很多的不足,比如參數的設定功能不夠完善,靜態檢測工具核心代碼接受開源代碼。但這個探討項目既是我的畢設項目,也是我將來的探討項目,我確定會

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
  • 4. 未經權益所有人同意不得將文件中的內容挪作商業或盈利用途。
  • 5. 人人文庫網僅提供信息存儲空間,僅對用戶上傳內容的表現方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
  • 6. 下載文件中如有侵權或不適當內容,請與我們聯系,我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論