指定标准和预定义的检查器子集

通过Polyspace分析选项指定编码规则。当您运行Bug Finder或Code Prover时，除了其他检查外，分析还会查找编码规则违反情况。您可以禁用其他检查，只查找违反编码规则的情况。

在Polyspace用户界面（桌面产品）中，选项位于下载188bet金宝搏配置窗下的窗格编码标准和编码度量节点。

对于C代码，请使用以下选项之一：

对于c++代码，使用以下选项之一:

您可以指定预定义的规则子集，例如:强制性的对于MISRA C:2012。这些子集通常由标准定义。

您还可以使用正则表达式定义标识符的命名约定。看到创建自定义编码规则．

自定义检查器子集

您可以从编码标准指定自己的规则子集，而不是预定义的子集。

用户界面(只适用于桌面产品)下载188bet金宝搏

当您保存规则选择时，配置将保存在一个XML文件中，您可以在多个分析中重用该文件。同一个文件包含为所有编码标准选择的规则。您可以跨多个项目重用此文件，以在团队或组织中实施公共编码标准。要在Polyspace用户界面的另一个项目中重用该文件:

命令行。使用Polyspace desktop产品，您可以在用下载188bet金宝搏户界面中创建编码标准XML文件，然后使用该文件进行命令行分析。为该XML文件提供以下选项通过文件设置检查器(-checkers-selection-file)．

对于Polyspace Server产品，您必须从头下载188bet金宝搏开始创建编码标准XML。根据您要启用的标准，为其中一个文件创建一个可写副本polyspaceserverroot\help\toolbox\polyspace\u bug\u finder\u server\examples\coding\u standards\u XML并使用XML文件中的条目关闭规则（模板中启用了标准中的所有规则）。在这里polyspaceserverroot是Polyspace服务器产品的根安装文件夹，例如，下载188bet金宝搏C:\Program Files\Polyspace Server\R2019a．

例如，要关闭MISRA C:2012规则8.1，请在文件副本中使用此条目misra_c_2012_rules.xml：

<检查id=“8.1”state=“off”>

当使用Guideline检查器时，指定它们的阈值门槛标签。例如，激活检查器圈复杂度超过阈值并将检查器的阈值设置为5，在guidelines.xml：

5

要在Bug Finder中使用MISRA C:2012分析的XML文件，输入:

polyspace bug finder-源代码文件名-checkers-select -file

有关规则id-s和节名的完整列表，请参见:

只检查编码标准

要仅检查编码标准，请执行以下操作：