雷火电竞官网-中国知名电竞赛事平台

　　雨田不可表達語句檢測工具是一款能夠自動檢測代碼中的不可達語句的軟件，使用ufinder，極大的提升的檢測人員的檢測效率，進而促進代碼乃至軟件質量的提高。

【特色說明】

　　指標豐富

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

　　規則全面

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

　　功能緊湊、簡單易用

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

　　使用靈活

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

【功能說明】

　　控制流分析

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

　　數據流分析

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

　　基本指標計算

　　基于對文件中代碼進行分析而獲取的數據，plsta從代碼、注釋、數據流、路徑、復雜度、循環、操作符及操作數等多個角度計算出相應的指標。

　　規則檢查

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

【安裝說明】

　　第一步：安裝系統

　　注意1: 盡量不要安裝在c盤，尤其是當操作系統是win8的時候。

　　注意2：操作系統用戶應該具有操作系統盤的權限，尤其在win8或win8+時候要注意。

　　注意3: 如果已經安裝了“雨田單元測試系統“或者“雨田靜態分析系統”，不要將ufinder與其安裝在同一目錄下。

　　注意4： 如果安裝后首次使用即提示過期，通常是由于操作系統權限設置問題，需要聯系產品提供方。

　　第二步：運行系統。

　　從桌面或者快捷菜單中運行系統。

　　第三步：打開文件

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

　　第四步：分析并瀏覽分析結果

　　在打開文件后的主界面中的左側的函數導航樹中通過點擊選擇要分析的函數，系統會在界面右側以紅色顯示不可達代碼行。