雨田静态分析系统软件是一款针对于C文件的静态分析软件,用户可通过雨田静态分析系统对C文件进行详细分析,包括控制流分析、数据流分析、基本度量指标的计算、违反代码规则的检查等,有需要的朋友欢迎下载实用!
功能介绍
雨田静态分析系统可以对.c文件进行静态分析。
具体包括控制流分析、基本指标分析、数据流分析、复杂度分析、循环分析以及代码质量分析。
代码质量分析以 MISRA为依据,分析了近60种常见问题。
能够显示函数内部的控制流图以及函数间的调用关系图。
对于出现的问题会给出问题发生的具体位置,有利于代码质量的提高。
更新日志
1 增加了近10条代码规则
2 静态分析中解决了误报使用stl模板作为参数的函数没有实现的错误
3 解决了stl模板类型的变量定义与分析
4 解决了有缺省值参数的函数的定义分析不正确的问题
5 细化了函数调用的实参的变量分析(以前是单一处理为引用)