雨田静态分析系统可以对.c/.cpp文件进行静态分析。主要分析内容包括控制流分析、数据流分析、基本度量指标的计算、违反代码规则的检查等。能够显示函数间的调用关系,能够显示函数的控制流 图。代码规则以 MISRA为依据,分析了DU,DD,UR以及混合类型运算等近60种常见问题。检查出的问题系统会给出问题发生的位置,原因以及对应的规则,方便用户查证并改进问题,高效的改正问题以提高代码质量。特点:1、易用性好。仅仅需要打开文件即可完成分析,用户即可以查阅所关注函数的控制流图、度量指标、规则检查结果。2、包容性强。几乎可以适用于所有能够编译通过的c/c++程序文件。3、指标完备。系统计算了上百个度量指标,以此全面客观的对代码进行评价。4、质量规则丰富。对内置的数百条实用的质量规则进行检查,最大程度的发现代码中违反规则的情况。雨田静态分析系统最新版本号1.5更新的主要内容有:1 增加了仅10条代码规则2 静态分析中解决了误报使用stl模板作为参数的函数没有实现的错误3 解决了stl模板类型的变量定义与分析4 解决了有缺省值参数的函数的定义分析不正确的问题5 细化了函数调用的实参的变量分析(以前是单一处理为引用)
下载源码
常见问题
- 1、左子会对双方交易的过程及交易商品的快照进行永久存档,以确保交易的真实、有效、安全! 2、左子无法对如“永久包更新”、“永久技术支持”等类似交易之后的商家承诺做担保,请买家自行鉴别; 3、在源码同时有网站演示与图片演示,且站演与图演不一致时,默认按图演作为纠纷评判依据(特别声明或有商定除外); 4、在没有”无任何正当退款依据”的前提下,商品写有”一旦售出,概不支持退款”等类似的声明,视为无效声明; 5、在未拍下前,双方在QQ上所商定的交易内容,亦可成为纠纷评判依据(商定与描述冲突时,商定为准); 6、因聊天记录可作为纠纷评判依据,故双方联系时,只与对方在左子上所留的QQ、手机号沟通,以防对方不承认自我承诺。 7、虽然交易产生纠纷的几率很小,但一定要保留如聊天记录、手机短信等这样的重要信息,以防产生纠纷时便于左子介入快速处理。
查看详情
相关文章
猜你喜欢
