雨田静态分析系统 2.6.4

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