该资源为电脑版,暂无安卓版
雨田静态分析工具官方pc版 v2.6.3最新版是一款c文件分析软件。这款软件可以对c文件进行数据流分析、复杂度分析、循环分析等多种分析法。有需要的用户来9553下载试用吧。
雨田静态分析系统可以对.c文件进行静态分析。
具体包括控制流分析、基本指标分析、数据流分析、复杂度分析、循环分析以及代码质量分析。
代码质量分析以 MISRA为依据,分析了近60种常见问题。
能够显示函数内部的控制流图以及函数间的调用关系图。
对于出现的问题会给出问题发生的具体位置,有利于代码质量的提高。
指标丰富
雨田静态分析系统详细计算了代码相关指标、注释信息相关指标、数据流相关指标、复杂度相关指标、循环相关指标、操作符及操作数指标、路径指标等多个方面的指标,为对代码质量进行有效的评价提供坚实的基础。
规则全面
雨田静态分析系统以MISRA为基础,结合众多c语言专家的研究成果以及多名资深c/c++开发人员的经验,提炼出了300余条可检查的质量规则,从代码的正确性、健壮性、可读性、语义唯一性、环境兼容性等多个方面对之进行详尽地检查,辅助开发及测评人员查找代码中的问题。
功能紧凑、简单易用
雨田静态分析系统力求以最简洁的方式提供最实用的分析结果。用户仅仅需要执行“打开”操作,就可以查看工程中所有源文件的度量指标、相关代码、控制流图、以及规则检查结果等重要信息。在执行一次“综合质量分析”操作,就可以查阅工程中所有源文件及其逐函数的指标汇总报告、规则检查报告、可读性报告、可维护性报告、可测试性报告以及质量评估报告等众多分析报告。
使用灵活
雨田静态分析系统允许用户选择语法分析策略、分析报告内容以及编码规则,还允许用户调整相关编码规则的边界(阀值),从而使之成为自己特定的编码规则。借助于自身具备的灵活性,雨田静态分析系统尽可能的适应用户的应用环境。
1 解决了空switch不能正确处理的问题;
2 区分了正式版和评估版所对应的不同的规则集合;
3 增加了近百条编码规则的检查;
4 增加了对static,volatile等关键词的解析、存储及使用;
5 调整了循环变量的确认方法。