雨田不可达语句检测工具

ufinder是一款由测试之家开发的不可达语句检测工具——ufinder，它的主要功能是检查.c程序文件中的不可达语句。也就是检测C语言代码里面有问题的语句或者说是错误的语句，并告诉你，让你去修复。可以省去人手逐行检查的麻烦。

雨田不可达语句检测工具是拥有独立知识产权的国产软件，能够对c/c++/java文件进行详尽地不可达语句分析。主要分析内容包括路径不可达分析、逻辑不可达分析和运行不可达分析等三大类。

在详尽的词法分析及语法分析的基础上，雨田不可达语句检测工具应用了约束求解领域的最新成果，使得对逻辑不可达及运行不可达这两种最常见类型检测的漏检比例相较以往大幅下降，可用性也随之大幅提升，从而为代码质量的提升提供更为坚实可靠的支撑。

使用方法

第一步：安装系统
注意1: 尽量不要安装在c盘，尤其是当操作系统是win8的时候。
注意2：操作系统用户应该具有操作系统盘的权限，尤其在win8或win8+时候要注意。
注意3: 如果已经安装了“雨田单元测试系统“或者“雨田静态分析系统”，不要将ufinder与其安装在同一目录下。
注意4： 如果安装后首次使用即提示过期，通常是由于操作系统权限设置问题，需要联系产品提供方。
第二步：运行系统。
从桌面或者快捷菜单中运行系统。
第三步：打开文件
在主界面中“文件”菜单栏中点击“打开”菜单项，在弹出的对话框中选择要分析的文件(例如：安装目录\examples\Ggrocers.c)。注意目前仅仅能处理.c文件，所以请不要打开其他类型的文件。
第四步：分析并浏览分析结果
在打开文件后的主界面中的左侧的函数导航树中通过点击选择要分析的函数，系统会在界面右侧以红色显示不可达代码行。

雨田静态分析系统下载：http://www.jisuxz.com[InstallDir_ChannelDir]50938.html