雨田靜態(tài)分析系統(tǒng)軟件是一款針對(duì)于C文件的靜態(tài)分析軟件,用戶可通過(guò)雨田靜態(tài)分析系統(tǒng)對(duì)C文件進(jìn)行詳細(xì)分析,包括控制流分析、數(shù)據(jù)流分析、基本度量指標(biāo)的計(jì)算、違反代碼規(guī)則的檢查等,有需要的朋友歡迎下載實(shí)用!
功能介紹
雨田靜態(tài)分析系統(tǒng)可以對(duì).c文件進(jìn)行靜態(tài)分析。
具體包括控制流分析、基本指標(biāo)分析、數(shù)據(jù)流分析、復(fù)雜度分析、循環(huán)分析以及代碼質(zhì)量分析。
代碼質(zhì)量分析以 MISRA為依據(jù),分析了近60種常見(jiàn)問(wèn)題。
能夠顯示函數(shù)內(nèi)部的控制流圖以及函數(shù)間的調(diào)用關(guān)系圖。
對(duì)于出現(xiàn)的問(wèn)題會(huì)給出問(wèn)題發(fā)生的具體位置,有利于代碼質(zhì)量的提高。
更新日志
1 增加了近10條代碼規(guī)則
2 靜態(tài)分析中解決了誤報(bào)使用stl模板作為參數(shù)的函數(shù)沒(méi)有實(shí)現(xiàn)的錯(cuò)誤
3 解決了stl模板類型的變量定義與分析
4 解決了有缺省值參數(shù)的函數(shù)的定義分析不正確的問(wèn)題
5 細(xì)化了函數(shù)調(diào)用的實(shí)參的變量分析(以前是單一處理為引用)