/中文/
/中文/
/中文/
/中文/
/中文/
/中文/
/中文/
/中文/
/中文/
/中文/
c语言静态分析工具最新版是一款非常不错的静态分析工具,它可以帮户用户对c文件进行静态分析,主要分析内容包括控制流分析、数据流分析、基本度量指标的计算、违反代码规则的检查等,方便用户查证并改进问题,高效的改正问题以提高代码质量,快来下载吧。
雨田静态分析系统可以对.c文件进行静态分析。
具体包括控制流分析、基本指标分析、数据流分析、复杂度分析、循环分析以及代码质量分析。
代码质量分析以 MISRA为依据,分析了近60种常见问题。
能够显示函数内部的控制流图以及函数间的调用关系图。
对于出现的问题会给出问题发生的具体位置,有利于代码质量的提高。
第一步:安装系统
注意1:尽量不要安装在c盘,尤其是当操作系统是win8的时候。
注意2:操作系统用户应该具有操作系统盘的权限,尤其在win8或win8+时候要注意。
注意3:如果已经安装了“雨田单元测试系统”,那么不要将“雨田静态分析系统”与“雨田单元测试系统”安装在同一目录下。
注意4:如果安装后首次使用即提示过期,通常是由于操作系统权限设置问题,需要联系产品提供方。
第二步:运行系统。
从桌面或者快捷菜单中运行系统。
第三步:打开文件
在主界面中“文件”菜单栏中点击“打开”菜单项,在弹出的对话框中选择要分析的文件(例如:安装目录\examples\Ggrocers.c)。注意目前仅仅能处理。c/.cpp/.h文件,所以请不要打开其他类型的文件。
第四步:分析并浏览分析结果
在打开文件后的主界面中的左侧的函数导航树中通过点击选择要分析的函数,系统会对选择的函数进行静态分析。通过切换主界面右侧的分析结果试图顶部的模式,可以查阅不同的静态分析结果。
指标丰富
雨田静态分析系统详细计算了代码相关指标、注释信息相关指标、数据流相关指标、复杂度相关指标、循环相关指标、操作符及操作数指标、路径指标等多个方面的指标,为对代码质量进行有效的评价提供坚实的基础。
规则全面
雨田静态分析系统以MISRA为基础,结合众多c语言专家的研究成果以及多名资深c/c++开发人员的经验,提炼出了300余条可检查的质量规则,从代码的正确性、健壮性、可读性、语义唯一性、环境兼容性等多个方面对之进行详尽地检查,辅助开发及测评人员查找代码中的问题。
功能紧凑、简单易用
雨田静态分析系统力求以最简洁的方式提供最实用的分析结果。用户仅仅需要执行“打开”操作,就可以查看工程中所有源文件的度量指标、相关代码、控制流图、以及规则检查结果等重要信息。在执行一次“综合质量分析”操作,就可以查阅工程中所有源文件及其逐函数的指标汇总报告、规则检查报告、可读性报告、可维护性报告、可测试性报告以及质量评估报告等众多分析报告。
使用灵活
雨田静态分析系统允许用户选择语法分析策略、分析报告内容以及编码规则,还允许用户调整相关编码规则的边界(阀值),从而使之成为自己特定的编码规则。借助于自身具备的灵活性,雨田静态分析系统尽可能的适应用户的应用环境。
1 增加了对java文件的静态分析;
2 解决了当代码的实参中有逻辑表达式是词法分析会出错的问题;
3 完善了try,catch等结构的控制流分析;
4 完善了对finally关键词的处理;
5 完善了对throw关键词的处理。