Polyspace Bug Finder 支持的必需或强制 MISRA 编码规则

MISRA™ C 和 C++ 标准将合规 C++ 代码必须遵循的规则归类为必需。下表汇总了 Polyspace® 对各种 MISRA 标准中的必需和强制编码规则的支持情况。

标准Polyspace 支持的必需规范数量Polyspace 支持的强制规范数量
MISRA C™:2023140 条必需规则（共 151 条）18 条强制规则（共 23 条）
MISRA C:2012140 条必需规则（共 151 条）18 条强制规则（共 23 条）
MISRA C++:2023124 条必需规则（共 124 条）5 条强制规则（共 5 条）
MISRA C++:2008195 条必需规则（共 198 条）不适用

要从属于以下子集的各种 MISRA 标准中查找必需或强制编码规则，请执行以下操作：

  1. 在 Polyspace 桌面用户界面的配置窗格中，找到编码标准和代码度量节点。选择使用文件设置检查项，然后点击打开。或者，在命令行中使用命令 polyspace-checkers-selection。

  2. 在“检查项选择”窗口中，点击新建以创建一个新的检查项文件。可选择取消选择已选中的编码规则。

  3. 选择任何 MISRA 编码标准。

  4. 选择必需或强制。

  5. 将您的选择保存为 XML 文件。

XML 文件中的内容列出了被 MISRA 归类为必需或强制的编码规则。

另请参阅

主题