雨田静态分析系统 v1.5.4
- 大小:
- 下载:0
- 分类:编程开发
- 发布者:zhangliang
资源介绍
雨田静态分析系统可以对.c/.cpp文件进行静态分析。主要分析内容包括控制流分析、数据流分析、基本度量指标的计算、违反代码规则的检查等。能够显示函数间的调用关系,能够显示函数的控制流 图。代码规则以 MISRA为依据,分析了DU,DD,UR以及混合类型运算等近60种常见问题。检查出的问题系统会给出问题发生的位置,原因以及对应的规则,方便用户查证并改进问题,高效的改正问题以提高代码质量。
特点:
1、易用性好。仅仅需要打开文件即可完成分析,用户即可以查阅所关注函数的控制流图、度量指标、规则检查结果。
2、包容性强。几乎可以适用于所有能够编译通过的c/c++程序文件。
3、指标完备。系统计算了上百个度量指标,以此客观的对代码进行评价。
4、质量规则丰富。对内置的数百条实用的质量规则进行检查,较大程度的发现代码中违反规则的情况。
雨田静态分析系统较新版本号1.5更新的主要内容有:
1 增加了仅10条代码规则
2 静态分析中解决了误报使用stl模板作为参数的函数没有实现的错误
3 解决了stl模板类型的变量定义与分析
4 解决了有缺省值参数的函数的定义分析不正确的问题
5 细化了函数调用的实参的变量分析(以前是单一处理为引用)