雨田静态分析系统

雨田静态分析系统可以对c文件进行静态分析。主要分析内容包括控制流分析、数据流分析、基本度量指标的计算、违反代码规则的检查等。

功能介绍

    雨田静态分析系统可以对.c文件进行静态分析。
    具体包括控制流分析、基本指标分析、数据流分析、复杂度分析、循环分析以及代码质量分析。
    代码质量分析以 MISRA为依据，分析了近60种常见问题。
    能够显示函数内部的控制流图以及函数间的调用关系图。
    对于出现的问题会给出问题发生的具体位置，有利于代码质量的提高。

软件特色

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

更新日志

　　1 解决了2.6.3版本中试用版在11月9日后存在的使用一次即过期的问题；
　　2 解决了无大括号的case语句的格式化问题；
　　3 增加了表达式分析中能够就按的系统数学函数；
　　4 统一了在界面中出现的软件的名称；