導航:首頁 > 編程大全 > 程序靜態分析工具

程序靜態分析工具

發布時間:2025-01-15 19:09:54

『壹』 程序靜態分析的著名的靜態分析工具

雨田靜態分析系統V2.1
產品介紹
簡介
雨田靜態分析系統是擁有獨立知識產權的國產軟體,能夠對.c/.cpp文件進行靜態分析。主要分析內容包括控制流分析、數據流分析、基本度量指標的計算、編碼規則的違反情況檢查等。在對文件進行詳盡分析基礎上,結合系統特有的質量模型,雨田靜態分析系統對被分析的代碼進行了綜合質量評估,以直觀的形式顯示編碼的質量水平。系統提供了內容豐富的靜態分析結果和多角度的質量分析報告,為對編碼進行有效評估提供重要的參考,也為解決代碼中存在的問題提供明確的線索,進而促進軟體質量得到有效地改善與提高。
特點
指標豐富
雨田靜態分析系統詳細計算了代碼相關指標、注釋信息相關指標、數據流相關指標、復雜度相關指標、循環相關指標、操作符及操作數指標、路徑指標等多個方面的指標,為對代碼質量進行有效的評價提供堅實的基礎。
規則全面
雨田靜態分析系統以MISRA為基礎,結合眾多c語言專家的研究成果以及多名資深c/c++開發人員的經驗,提煉出了300餘條可檢查的質量規則,從代碼的正確性、健壯性、可讀性、語義唯一性、環境兼容性等多個方面對之進行詳盡地檢查,輔助開發及測評人員查找代碼中的問題。
功能緊湊、簡單易用
雨田靜態分析系統力求以最簡潔的方式提供最實用的分析結果。用戶僅僅需要執行「打開」操作,就可以查看工程中所有源文件的度量指標、相關代碼、控制流圖、以及規則檢查結果等重要信息。在執行一次「綜合質量分析」操作,就可以查閱工程中所有源文件及其逐函數的指標匯總報告、規則檢查報告、可讀性報告、可維護性報告、可測試性報告以及質量評估報告等眾多分析報告。
使用靈活
雨田靜態分析系統允許用戶選擇語法分析策略、分析報告內容以及編碼規則,還允許用戶調整相關編碼規則的邊界(閥值),從而使之成為自己特定的編碼規則。藉助於自身具備的靈活性,雨田靜態分析系統盡可能的適應用戶的應用環境。
主要功能
控制流分析
通過對c語言及c++語言的順序結構、選擇結構和循環結構等類型代碼塊自身及相互關系的詳盡分析,從而獲取被測文件中每個函數及類方法對應的控制流圖。通過對文件中函數間調用關系的分析,系統能夠獲取文件內函數間的調用關系;通過對文件中類對象的使用情況分析,可以獲得文件中的類關系圖。

數據流分析
系統對全局變數、類屬性、函數參數、局部變數等數據載體進行了其所在的作用域內的
詳盡的數據分析,對函數間的調用關系及數據傳遞也進行了必要的分析,從而能夠以靜態的視角把握文件中每個變數的數據變化過程,為後續的同數據流相關指標計算及代碼質量檢查打下了堅實的基礎。
基本指標計算
基於對文件中代碼進行分析而獲取的數據,雨田靜態分析系統從代碼、注釋、數據流、
路徑、復雜度、循環、操作符及操作數等多個角度計算出相應的指標。

規則檢查
系統以 MISRA編碼規則為依據,系統分析了三百餘條最常見的編碼問題。對於檢查出的問題,系統會給出問題發生的位置,原因以及對應的規則,方便用戶查證並改進。

綜合質量評估
通過對計算出的指標以及查找出的違反編碼規則信息的分類、甄別,根據相關信息在代碼綜合質量中的影響程度,雨田靜態分析系統從可讀性、可維護性以及可測試性等三個角度對文件整體、類整體、逐函數等不同層級的代碼進行了綜合質量評定,並給出直觀的分類評價報告及綜合評價報告,

閱讀全文

與程序靜態分析工具相關的資料

熱點內容
win10因藍屏 瀏覽:322
app病毒是如何植入的 瀏覽:384
hadoop文件系統查看 瀏覽:317
熱門app免流都有哪些 瀏覽:619
cad怎麼轉換mpgis文件 瀏覽:631
win10照片不能用了 瀏覽:878
iphone5s導出圖片 瀏覽:984
如何確定c盤的文件可以刪掉 瀏覽:956
如何將對應的表格分配到文件夾中 瀏覽:85
win10系統文件夾圖片列表 瀏覽:962
淘寶店鋪導航背景顏色代碼 瀏覽:182
路虎攬勝漆膜儀數據多少 瀏覽:438
如何隨意放置桌面文件位置 瀏覽:830
經銷商都有哪些app 瀏覽:200
蘋果6p拍照模糊召回 瀏覽:916
如何安卓手機數據導入蘋果手機 瀏覽:273
atm系統網路結構圖 瀏覽:25
盤錦哪裡有學編程 瀏覽:84
阿克蘇大數據中心屬於哪個社區 瀏覽:452
什麼app可以用車架號查車 瀏覽:933

友情鏈接