c語言靜態(tài)分析工具最新版是一款非常不錯的靜態(tài)分析工具，它可以幫戶用戶對c文件進(jìn)行靜態(tài)分析，主要分析內(nèi)容包括控制流分析、數(shù)據(jù)流分析、基本度量指標(biāo)的計算、違反代碼規(guī)則的檢查等，方便用戶查證并改進(jìn)問題，高效的改正問題以提高代碼質(zhì)量，快來下載吧。

功能介紹：

雨田靜態(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ì)量的提高。

使用方法：

第一步：安裝系統(tǒng)

注意1:盡量不要安裝在c盤，尤其是當(dāng)操作系統(tǒng)是win8的時候。

注意2：操作系統(tǒng)用戶應(yīng)該具有操作系統(tǒng)盤的權(quán)限，尤其在win8或win8+時候要注意。

注意3:如果已經(jīng)安裝了“雨田單元測試系統(tǒng)”，那么不要將“雨田靜態(tài)分析系統(tǒng)”與“雨田單元測試系統(tǒng)”安裝在同一目錄下。

注意4：如果安裝后首次使用即提示過期，通常是由于操作系統(tǒng)權(quán)限設(shè)置問題，需要聯(lián)系產(chǎn)品提供方。

第二步：運(yùn)行系統(tǒng)。

從桌面或者快捷菜單中運(yùn)行系統(tǒng)。

第三步：打開文件

在主界面中“文件”菜單欄中點擊“打開”菜單項，在彈出的對話框中選擇要分析的文件（例如：安裝目錄\examples\Ggrocers.c）。注意目前僅僅能處理。c/.cpp/.h文件，所以請不要打開其他類型的文件。

第四步：分析并瀏覽分析結(jié)果

在打開文件后的主界面中的左側(cè)的函數(shù)導(dǎo)航樹中通過點擊選擇要分析的函數(shù)，系統(tǒng)會對選擇的函數(shù)進(jìn)行靜態(tài)分析。通過切換主界面右側(cè)的分析結(jié)果試圖頂部的模式，可以查閱不同的靜態(tài)分析結(jié)果。

軟件特色

指標(biāo)豐富

雨田靜態(tài)分析系統(tǒng)詳細(xì)計算了代碼相關(guān)指標(biāo)、注釋信息相關(guān)指標(biāo)、數(shù)據(jù)流相關(guān)指標(biāo)、復(fù)雜度相關(guān)指標(biāo)、循環(huán)相關(guān)指標(biāo)、操作符及操作數(shù)指標(biāo)、路徑指標(biāo)等多個方面的指標(biāo)，為對代碼質(zhì)量進(jìn)行有效的評價提供堅實的基礎(chǔ)。

規(guī)則全面

雨田靜態(tài)分析系統(tǒng)以MISRA為基礎(chǔ)，結(jié)合眾多c語言專家的研究成果以及多名資深c/c++開發(fā)人員的經(jīng)驗，提煉出了300余條可檢查的質(zhì)量規(guī)則，從代碼的正確性、健壯性、可讀性、語義唯一性、環(huán)境兼容性等多個方面對之進(jìn)行詳盡地檢查，輔助開發(fā)及測評人員查找代碼中的問題。

功能緊湊、簡單易用

雨田靜態(tài)分析系統(tǒng)力求以最簡潔的方式提供最實用的分析結(jié)果。用戶僅僅需要執(zhí)行“打開”操作，就可以查看工程中所有源文件的度量指標(biāo)、相關(guān)代碼、控制流圖、以及規(guī)則檢查結(jié)果等重要信息。在執(zhí)行一次“綜合質(zhì)量分析”操作，就可以查閱工程中所有源文件及其逐函數(shù)的指標(biāo)匯總報告、規(guī)則檢查報告、可讀性報告、可維護(hù)性報告、可測試性報告以及質(zhì)量評估報告等眾多分析報告。

使用靈活

雨田靜態(tài)分析系統(tǒng)允許用戶選擇語法分析策略、分析報告內(nèi)容以及編碼規(guī)則，還允許用戶調(diào)整相關(guān)編碼規(guī)則的邊界（閥值），從而使之成為自己特定的編碼規(guī)則。借助于自身具備的靈活性，雨田靜態(tài)分析系統(tǒng)盡可能的適應(yīng)用戶的應(yīng)用環(huán)境。

更新日志

1 增加了對java文件的靜態(tài)分析；

2 解決了當(dāng)代碼的實參中有邏輯表達(dá)式是詞法分析會出錯的問題；

3 完善了try,catch等結(jié)構(gòu)的控制流分析；

4 完善了對finally關(guān)鍵詞的處理；

5 完善了對throw關(guān)鍵詞的處理。