雨田靜態分析系統是擁有獨立知識產權的國產軟件，能夠對.c/.cpp/java文件進行靜態分析。主要分析內容包括控制流分析、數據流分析、基本度量指標的計算、編碼規則的違反情況檢查等。在對文件進行詳盡分析基礎上，結合系統特有的質量模型，雨田靜態分析系統對被分析的代碼進行了綜合質量評估，以直觀的形式顯示編碼的質量水平。系統提供了內容豐富的靜態分析結果和多角度的質量分析報告，為對編碼進行有效評估提供重要的參考，也為解決代碼中存在的問題提供明確的線索，進而促進軟件質量得到有效地改善與提高。

主要功能

控制流分析
通過對c語言及c++語言的順序結構、選擇結構和循環結構等類型代碼塊自身及相互關系的詳盡分析，從而獲取被測文件中每個函數及類方法對應的控制流圖。通過對文件中函數間調用關系的分析，系統能夠獲取文件內函數間的調用關系；通過對文件中類對象的使用情況分析，可以獲得文件中的類關系圖。

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

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

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

編碼規則的個性化定制
系統對內置的編碼規則進行了科學的分類，從而形成編碼規則樹。用戶可以根據被測文件的內容以及本單位的具體要求選用相應的規則。另外，用戶也可以在界面上定制相關閥值從而形成完全適用于自己的編碼規則。

功能特點

指標豐富
plsta詳細計算了代碼相關指標、注釋信息相關指標、數據流相關指標、復雜度相關指標、循環相關指標、操作符及操作數指標、路徑指標等多個方面的指標，為對代碼質量進行有效的評價提供堅實的基礎。

規則全面
plsta以MISRA為基礎，結合眾多c/c++/java語言專家的研究成果以及多名資深c/c++/java開發人員的經驗，提煉出了千余條可檢查的質量規則，從代碼的正確性、健壯性、可讀性、語義唯一性、環境兼容性等多個方面對之進行詳盡地檢查，輔助開發及測評人員查找代碼中的問題。

功能緊湊、簡單易用
plsta以輔助用戶提高編碼質量為核心，力求以最簡潔的方式提供最實用的分析結果。用戶僅僅需要執行“打開”操作，就可以查看工程中所有源文件的度量指標、相關代碼、控制流圖、以及規則檢查結果等重要信息。在執行一次“綜合質量分析”操作，就可以查閱工程中所有源文件及其逐函數的指標匯總報告、規則檢查報告、可讀性報告、可維護性報告、可測試性報告以及質量評估報告等眾多分析報告。

使用靈活
plsta允許用戶選擇語法分析策略、分析報告內容以及編碼規則，還允許用戶調整相關編碼規則的邊界（閥值），從而使之成為自己特定的編碼規則。借助于自身具備的靈活性，plsta盡可能的適應用戶的應用環境。

使用步驟

第一步：安裝系統
注意1: 盡量不要安裝在c盤，尤其是當操作系統是win8的時候。
注意2：操作系統用戶應該具有操作系統盤的權限，尤其在win8或win8+時候要注意。
注意3: 如果已經安裝了“雨田單元測試系統”，那么不要將“雨田靜態分析系統”與“雨田單元測試系統”安裝在同一目錄下。
注意4： 如果安裝后首次使用即提示過期，通常是由于操作系統權限設置問題，需要聯系產品提供方。
第二步：運行系統。
從桌面或者快捷菜單中運行系統。
第三步：打開文件
在主界面中“文件”菜單欄中點擊“打開”菜單項，在彈出的對話框中選擇要分析的文件(例如：安裝目錄\examples\Ggrocers.c)。注意目前僅僅能處理.c/.cpp/.h文件，所以請不要打開其他類型的文件。
第四步：分析并瀏覽分析結果
在打開文件后的主界面中的左側的函數導航樹中通過點擊選擇要分析的函數，系統會對選擇的函數進行靜態分析。通過切換主界面右側的分析結果試圖頂部的模式，可以查閱不同的靜態分析結果。

使用說明

1 試用版中顯示了部分度量指標，檢查了部分質量規則，正式版中會顯示全部度量指標，檢查全部質量規則;
2 如欲檢查全部質量規則或者計算全部指標，請選用正式版或者使用測試之家提供的“遠程靜態分析”服務;
3 與本產品同系列的還有另外一款相關軟件：雨田單元測試系統2.2，能夠進行單元測試，在單元測試軟件領域進行了多項創新與突破，歡迎關注;
4 歡迎大家提出寶貴意見。

更新日志

1 解決了空switch不能正確處理的問題；
2 區分了正式版和評估版所對應的不同的規則集合；
3 增加了近百條編碼規則的檢查；
4 增加了對static，volatile等關鍵詞的解析、存儲及使用；
5 調整了循環變量的確認方法。

官方網站：http://www.tlemp.com/

相關搜索：靜態分析