計算機專業(yè)畢設(shè)演示文檔

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