雨田不可达语句检测工具(ufinder) v0.9 官方版

在国家的自主知识产权下,在针对完全自主知识产权的百盒测试等方面,雨田不可达语句检测工具(ufinder)提供专业的核心自动代码检测能够在不花费的同时去降低语句的全部工作量!利用雨田不可达语句检测工具即可有效的提升效率去简单易用,让卓越的性能呈现出来!

雨田不可达语句检测工具功能介绍

检测代码文件中的路径不可达、逻辑不可达、运行不可达等多种类型的不可达语句。

软件特色

性能卓越;

漏检率低。

简单易用;

雨田不可达语句检测工具使用方法

第一步：安装系统

注意1: 尽量不要安装在c盘，尤其是当操作系统是win8的时候。

注意2：操作系统用户应该具有操作系统盘的权限，尤其在win8或win8+时候要注意。

注意3: 如果已经安装了“雨田单元测试系统“或者“雨田静态分析系统”，不要将ufinder与其安装在同一目录下。

注意4： 如果安装后首次使用即提示过期，通常是由于操作系统权限设置问题，需要联系产品提供方。

第二步：运行系统。

从桌面或者快捷菜单中运行系统。

第三步：打开文件

在主界面中“文件”菜单栏中点击“打开”菜单项，在弹出的对话框中选择要分析的文件(例如：安装目录\examples\Ggrocers.c)。注意目前仅仅能处理.c文件，所以请不要打开其他类型的文件。

第四步：分析并浏览分析结果

在打开文件后的主界面中的左侧的函数导航树中通过点击选择要分析的函数，系统会在界面右侧以红色显示不可达代码行。