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