ufinder是一款由測試之家開發的不可達語句檢測工具——ufinder，它的主要功能是檢查.c程序文件中的不可達語句。也就是檢測C語言代碼里面有問題的語句或者說是錯誤的語句，并告訴你，讓你去修復。可以省去人手逐行檢查的麻煩。

雨田不可達語句檢測工具是擁有獨立知識產權的國產軟件，能夠對c/c++/java文件進行詳盡地不可達語句分析。主要分析內容包括路徑不可達分析、邏輯不可達分析和運行不可達分析等三大類。

在詳盡的詞法分析及語法分析的基礎上，雨田不可達語句檢測工具應用了約束求解領域的最新成果，使得對邏輯不可達及運行不可達這兩種最常見類型檢測的漏檢比例相較以往大幅下降，可用性也隨之大幅提升，從而為代碼質量的提升提供更為堅實可靠的支撐。

使用方法

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

雨田靜態分析系統下載：http://m.wjmjhs.com/down/50938.html

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

相關搜索：C語言