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

【特色說明】

　　指標(biāo)豐富

　　plsta詳細(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)行有效的評價提供堅(jiān)實(shí)的基礎(chǔ)。

　　規(guī)則全面

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

　　功能緊湊、簡單易用

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

　　使用靈活

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

【功能說明】

　　控制流分析

　　通過對c語言及c++語言的順序結(jié)構(gòu)、選擇結(jié)構(gòu)和循環(huán)結(jié)構(gòu)等類型代碼塊自身及相互關(guān)系的詳盡分析，從而獲取被測文件中每個函數(shù)及類方法對應(yīng)的控制流圖。通過對文件中函數(shù)間調(diào)用關(guān)系的分析，系統(tǒng)能夠獲取文件內(nèi)函數(shù)間的調(diào)用關(guān)系；通過對文件中類對象的使用情況分析，可以獲得文件中的類關(guān)系圖。

　　數(shù)據(jù)流分析

　　系統(tǒng)對全局變量、類屬性、函數(shù)參數(shù)、局部變量等數(shù)據(jù)載體進(jìn)行了其所在的作用域內(nèi)的詳盡的數(shù)據(jù)分析，對函數(shù)間的調(diào)用關(guān)系及數(shù)據(jù)傳遞也進(jìn)行了必要的分析，從而能夠以靜態(tài)的視角把握文件中每個變量的數(shù)據(jù)變化過程，為后續(xù)的同數(shù)據(jù)流相關(guān)指標(biāo)計算及代碼質(zhì)量檢查打下了堅(jiān)實(shí)的基礎(chǔ)。

　　基本指標(biāo)計算

　　基于對文件中代碼進(jìn)行分析而獲取的數(shù)據(jù)，plsta從代碼、注釋、數(shù)據(jù)流、路徑、復(fù)雜度、循環(huán)、操作符及操作數(shù)等多個角度計算出相應(yīng)的指標(biāo)。

　　規(guī)則檢查

　　系統(tǒng)以 MISRA編碼規(guī)則為依據(jù)，系統(tǒng)分析了三百余條最常見的編碼問題。對于檢查出的問題，系統(tǒng)會給出問題發(fā)生的位置，原因以及對應(yīng)的規(guī)則，方便用戶查證并改進(jìn)。

【安裝說明】

　　第一步：安裝系統(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)”，不要將ufinder與其安裝在同一目錄下。

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

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

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

　　第三步：打開文件

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

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

　　在打開文件后的主界面中的左側(cè)的函數(shù)導(dǎo)航樹中通過點(diǎn)擊選擇要分析的函數(shù)，系統(tǒng)會在界面右側(cè)以紅色顯示不可達(dá)代碼行。