检查和检查编码标准违规
与Polyspace®,您可以检查您的C / c++代码等违反编码规则MISRA - C™: 2012条规则。坚持编码规则可以减少缺陷,提高你的代码质量。
Polyspace可以检测编码规则违反这些标准:
MISRA - C: 2004
MISRA - C: 2012
MISRA c++™
JSF AV c++
AUTOSAR c++ 14(仅Bug仪)
CERT®C(仅Bug仪)
CERT c++(仅Bug仪)
CWE™(仅Bug仪)
ISO®/ IEC TS 17961(仅Bug仪)
的指导方针(仅Bug仪)
配置编码规则检查
指定标准和预定义的检查器的子集
指定的编码规则通过Polyspace分析选项。当您运行错误发现者,分析查找编码规则违反除了其他检查。您可以禁用其他检查,寻找编码违反规则的行为。
Polyspace用户界面(桌面产品)的选项s manbetx 845配置窗格下编码标准和代码度量节点。
对于C代码,使用这些选项之一:
生成的代码,使选择特定生成的代码。
生成的代码,使选择特定生成的代码。
对于c++代码,使用这些选项之一:
您可以指定一个预定义的规则子集,例如,强制性的
MISRA - C: 2012。这些子集通常定义的标准。
您还可以为标识符使用正则表达式定义的命名约定。看到创建自定义编码规则。
自定义检查器子集
预定义的子集,您可以指定您自己的规则从一个编码标准的子集。
用户界面(桌面产品只有)s manbetx 845
选择编码标准。对规则的子集,从下拉列表中选择
从文件
。点击编辑。在跳棋的选择窗口,编码标准在左边窗格中突出显示。右边的窗格中,选择你想要包含在你的规则分析。
在选择的指导方针>软件的复杂性检查,检查他们的阈值。如果默认阈值是不能接受的,指定一个合适的阈值阈值列。看到
检查指南(指南)
。在选择自定义规则,检查模式和公约的规则。看到
检查自定义规则(自定义规则)
。
当您保存规则选择,配置保存在一个XML文件,您可以重用为多个分析。相同的文件包含规则选择的编码标准。你可以跨多个项目重用这个文件执行常见的编码标准在一个团队或组织。重用这个文件在另一个项目Polyspace用户界面:
选择一个项目配置的编码标准。对规则的子集,从下拉列表中选择
从文件
。点击编辑并浏览到该文件的位置。另外,输入的文件名作为参数的选择
设置检查的文件(-checkers-selection-file)
。
命令行。与Polyspace桌面产品,您可以创建一个XML文件s manbetx 845编码标准的用户界面,然后使用这个文件命令行分析。这个XML文件提供选择设置检查的文件(-checkers-selection-file)
。
与Polyspace服务器产品,你必须从头创建一个Xs manbetx 845ML编码标准。取决于您要启用的标准,使一个可写的一个文件的副本
和关闭规则使用XML文件中的条目(所有规则从一个标准模板中启用)。在这里,polyspaceserverroot
\ \工具箱\ bugfinder帮助\ \ coding_standards_XML例子
是根安装文件夹Polyspace服务器产品,例如,s manbetx 845polyspaceserverroot
C:\Program Files\Polyspace服务器\R2023a
。
例如,关闭MISRA - C: 2012规则8.1中,使用这个条目的副本文件misra_c_2012_rules.xml
:
<标准名称= " MISRA - C: 2012 " >…<节名= " 8声明和定义" >…<检查id = " 8.1 "状态= "关闭" > < /检查>…< / >节……< /标准>
当使用指南跳棋,指定阈值之间阈值
标签。例如,检查程序激活圈复杂度超过阈值
检查器的阈值设置为5,使用这个条目的副本guidelines.xml
:
<检查id =“SC18”状态= " " > <阈值> < /阈值> < /检查> 5
使用XML文件MISRA - C: 2012年虫仪分析,输入:
polyspace-bug-finder来源文件名-misra3从文件-checkers-selection-file misra_c_2012_rules.xml
完整列表的规则id-s和部分名称,见:
请注意
检查程序的XML格式配置文件可以改变在将来的版本中。
只检查编码标准
检查错误仪分析C / c++代码为:
默认设置的缺陷(bug)
坚持任何您指定的编码标准。
检查编码标准,完全禁用缺陷检查。指定没有一个
的选项发现缺陷(检查)
。
检查编码规则违反
分析后,您看到的编码标准违反结果列表窗格。选择一个违反看到更多细节结果细节面板和源代码源窗格。
违反编码标准所示的源代码图标。
进一步的步骤,请参阅回顾分析结果或审查Polyspace错误发现者导致Web浏览器。
生成报告
您可以使用模板生成报告明确定义的编码标准。使用CodingStandards
模板。这个模板:
只报告编码标准违反你的分析结果,并省略了其他类型的结果等缺陷,运行时错误或代码度量。
创建一个单独的一章在报告中为每个编码标准。所有违规的章概述的标准,然后列出每个违反。
指定一个报告模板,使用该选项错误发现者和代码验证报告(报告模板)
。