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

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

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

打开“检查项选择”对话框：
1. 在 Polyspace 桌面用户界面的配置节点中，找到静态分析选项卡。
2. 在缺陷和编码标准中，选择使用自定义检查项文件。
3. 点击检查项激活文件 (-checkers-activation-file) 旁边的打开。
或者，在命令行中使用命令 polyspace-checkers-selection。
在“检查项选择”窗口中，点击新建以创建一个新的检查项文件。可选择取消选择已选中的编码规则。
选择任何 MISRA 编码标准。
选择必需或强制。
将您的选择保存为 XML 文件。

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

另请参阅