检查编码标准违规 -凯发k8网页登录

指定标准和预定义检查项子集

通过 polyspace 分析选项指定编码规则。当您运行 bug finder 时，分析会查找编码违规并运行其他检查。您可以禁用其他检查并仅查找编码违规。

在 polyspace 用户界面中（桌面端产品），相应选项位于 coding standards & code metrics 节点下的 configuration 窗格中。

对于 c 代码，请使用下列选项之一：

对于 c 代码，请使用下列选项之一：

您可以指定预定义的规则子集，例如 misra c:2012 的 “mandatory” 子集。这些子集通常由标准定义。

您还可以使用正则表达式定义标识符的命名约定。请参阅。

自定义检查项子集

您还可以根据编码标准自行指定规则子集，而非指定预定义子集。

用户界面（仅限桌面端产品）

保存规则选择时，配置将保存到一个 xml 文件中，您可以重复使用该文件以进行多个分析。针对所有编码标准选择的规则都包含在这一个文件中。您可以在多个工程中重复使用此文件，以在团队或组织中强制应用通用的编码标准。要在 polyspace 用户界面中的另一个工程中重复使用此文件，请执行以下操作：

命令行.  使用 polyspace 桌面端产品，您可以在用户界面中创建一个编码标准 xml 文件，然后使用此文件进行命令行分析。请使用 选项提供此 xml 文件。

使用 polyspace server 产品时，您必须从头开始创建编码标准 xml。根据您要启用的标准，为 polyspaceserverroot\help\toolbox\bugfinder\examples\coding_standards_xml 中的某个文件创建一个可写副本，并使用该 xml 文件中的条目关闭规则（模板中启用了对应标准的所有规则）。其中，polyspaceserverroot 是 polyspace server 产品的根安装文件夹，例如 c:\program files\polyspace server\r2022b。

例如，要关闭 misra c:2012 规则 8.1，请在文件 misra_c_2012_rules.xml 的副本中使用以下条目：

  ...
  

      ...
      
      
      ...
  
  ...

使用规范检查项时，请在 threshold 标记之间指定它们的阈值。例如，要激活 检查项，并将该检查项的阈值设置为 5，请在 guidelines.xml 的副本中使用以下条目：

        5

要在 bug finder 中使用此 xml 文件进行 misra c:2012 分析，请输入以下命令：

polyspace-bug-finder -sources filename -misra3 from-file -checkers-selection-file misra_c_2012_rules.xml

有关规则 id 和节名称的完整列表，请参阅：

仅检查编码标准

bug finder 分析会检查 c/c 代码是否：

要仅检查编码标准，请完全禁用缺陷检查。为 选项指定 “none”。