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