软件下载 > 开发工具 > 网站源码 > 雨田静态分析系统 > 软件简介
雨田静态分析系统

雨田静态分析系统

软件类型:
网站源码
用户评分:
软件类型:
7.12 MB
软件类型:
2017-12-21
安全下载
鲁大师安全下载

雨田静态分析系统可以对.c/.cpp文件进行静态分析。主要分析内容包括控制流分析、数据流分析、基本度量指标的计算、违反代码规则的检查等。能够显示函数间的调用关系,能够显示函数的控制流 图。代码规则以 MISRA为依据,分析了DU,DD,UR以及混合类型运算等近60种常见问题。检查出的问题系统会给出问题发生的位置,原因以及对应的规则,方便用户查证并改进问题,高效的改正问题以提高代码质量。

雨田静态分析系统软件特性

雨田静态分析系统可以对.c/.cpp文件进行静态分析。主要分析内容包括控制流分析、数据流分析、基本度量指标的计算、违反代码规则的检查等。能够显示函数间的调用关系,能够显示函数的控制流 图。代码规则以 MISRA为依据,分析了DU,DD,UR以及混合类型运算等近60种常见问题。检查出的问题系统会给出问题发生的位置,原因以及对应的规则,方便用户查证并改进问题,高效的改正问题以提高代码质量。

特点:
1、易用性好。仅仅需要打开文件即可完成分析,用户即可以查阅所关注函数的控制流图、度量指标、规则检查结果。
2、包容性强。几乎可以适用于所有能够编译通过的c/c++程序文件。
3、指标完备。系统计算了上百个度量指标,以此全面客观的对代码进行评价。
4、质量规则丰富。对内置的数百条实用的质量规则进行检查,最大程度的发现代码中违反规则的情况。

雨田静态分析系统最新版本号1.5更新的主要内容有:
1 增加了仅10条代码规则
2 静态分析中解决了误报使用stl模板作为参数的函数没有实现的错误
3 解决了stl模板类型的变量定义与分析
4 解决了有缺省值参数的函数的定义分析不正确的问题
5 细化了函数调用的实参的变量分析(以前是单一处理为引用)