检查并审查编码标准违规

使用 Polyspace®，您可以检查您的 C/C++ 代码是否违反了 MISRA C™:2023、MISRA C++:2023 和 AUTOSAR C++:14 等多种外部编码标准。有关支持的标准的列表，请参阅编码标准。遵守编码标准可以减少缺陷数量并提高代码质量。

您可以检查代码是否违反了支持的编码标准中预定义的编码规则集。或者，您可以选择并维护一组自定义编码规则。

配置编码标准用户界面

要在 Polyspace 平台用户界面中配置编码标准违规检查，请打开“检查项选择”对话框：

  1. 双击工程窗格的配置节点。

  2. 在静态分析选项卡上，选择缺陷和编码标准。选择使用自定义检查项文件，然后点击检查项激活文件选项旁边的打开 ()。

    A snapshot of the Findings selection window.

  3. 在“检查项选择”对话框中，从支持的编码标准中选择编码规则。一些编码标准（如 MISRA C:2023 或 MISRA C++:2023）支持预定义子集，例如强制、必需和建议。您可以通过选中相应的复选框，从这些预定义的子集中选择规则。或者，激活单个编码规则。使用过滤器查找要激活的规则。

  4. 激活编码规则后，将您的选择另存为可重用的检查项激活文件 (.xml)。

除了激活编码规则外，您还可以使用“检查项选择”对话框执行以下操作：

在命令行中配置编码标准

在命令行中，您可以通过以下两种方式激活编码规则和缺陷检查项：

审查编码违规

A snapshot of a typical Polyspace result showing a coding rule violation.

分析完成后，您可以在结果列表窗格中查看编码标准违规。选择某个违规可在结果详细信息窗格中查看更多详细信息，还可在源代码窗格中查看源代码。

编码标准违规在源代码中用 图标指示。

有关进一步的步骤，请参阅审查和报告结果或审查分析结果 (Polyspace Access)。

生成报告

您可以使用针对编码标准明确定义的 CodingStandards 模板生成编码标准违规报告。此模板：

  • 仅报告分析结果中的编码标准违规，并忽略其他类型的结果，例如缺陷、运行时错误或代码度量。

  • 在报告中为每个编码标准创建单独的章节。这些章节将概述并列出违反该标准的所有违规项。

若要了解如何在运行分析后生成报告，请参阅Generate Reports of Bug Finder or Code Prover Results。

另请参阅

主题