雨田静态分析系统

雨田静态分析系统是款对c文件进行静态分析的软件。代码质量分析以 MISRA为依据，分析了近60种常见问题。主要分析内容包括控制流分析、数据流分析、基本度量指标的计算、违反代码规则的检查等。且能够显示函数内部的控制流图以及函数间的调用关系图。对于出现的问题会给出问题发生的具体位置，有利于代码质量的提高。

软件特色

指标丰富 雨田静态分析系统详细计算了代码相关指标、注释信息相关指标、数据流相关指标、复杂度相关指标、循环相关指标、操作符及操作数指标、路径指标等多个方面的指标，为对代码质量进行有效的评价提供坚实的基础。 规则全面 雨田静态分析系统以MISRA为基础，结合众多c语言专家的研究成果以及多名资深c/c++开发人员的经验，提炼出了300余条可检查的质量规则，从代码的正确性、健壮性、可读性、语义唯一性、环境兼容性等多个方面对之进行详尽地检查，辅助开发及测评人员查找代码中的问题。 功能紧凑、简单易用 雨田静态分析系统力求以最简洁的方式提供最实用的分析结果。用户仅仅需要执行“打开”操作，就可以查看工程中所有源文件的度量指标、相关代码、控制流图、以及规则检查结果等重要信息。在执行一次“综合质量分析”操作，就可以查阅工程中所有源文件及其逐函数的指标汇总报告、规则检查报告、可读性报告、可维护性报告、可测试性报告以及质量评估报告等众多分析报告。 使用灵活 雨田静态分析系统允许用户选择语法分析策略、分析报告内容以及编码规则，还允许用户调整相关编码规则的边界（阀值），从而使之成为自己特定的编码规则。借助于自身具备的灵活性，雨田静态分析系统尽可能的适应用户的应用环境。

更新日志

1、解决了空switch不能正确处理的问题；2、区分了正式版和评估版所对应的不同的规则集合；3、增加了近百条编码规则的检查；4、增加了对static,volatile等关键词的解析、存储及使用；5、调整了循环变量的确认方法。