不支持的 MISRA C:2012 规范
Polyspace® 编码规则检查项不检查以下 MISRA C™:2012 指令。无法强制应用这些指令，因为它们超出了 Polyspace 软件的功能范围。这些规范涉及 MISRA™ 规则的文档、动态方面或功能方面。
有关受支持的规则和指令的列表，请参阅 MISRA C:2012 指令和规则。
| 编号 | 类别 | AGC 类别 | 定义 |
|---|---|---|---|
| 指令 3.1 | 必需 | 必需 | All code shall be traceable to documented requirements |
| 指令 4.2 | 建议 | 建议 | All usage of assembly language should be documented |
