本页面提供的是上一版软件的文档。当前版本中已删除对应的英文页面。
检查 MISRA C:2012 (-misra3)
（已删除）Check for violations of MISRA C:2012 rules and directives
已删除对使用 Code Prover 检查 MISRA C™:2012 规则的支持。请改用 Bug Finder 中的检查 MISRA C:2012 (-misra3)。有关详细信息，请参阅版本历史记录。
描述
设置
默认值： mandatory-required
- 强制
检查强制规范。
- mandatory-required
检查强制规范和必需规范。
强制规范：您的代码必须符合这些规范。
必需规范：您可以偏离这些规范。但是，您必须提供正式的偏离规范记录，并且您偏离规范的做法必须获得授权。
请参阅 MISRA C:2012 规范第 5.4 节。有关偏离记录的示例，请参阅 MISRA C:2012 规范的附录 I。
注意
要关闭某些必需规范，请选择 custom 而非 mandatory-required。要清除特定规范，请点击
。在注释列中，输入您禁用某个规范的理由。例如，您可以输入引用规范偏离记录的偏离 ID。理由将显示在您生成的报告中。- single-unit-rules
检查仅适用于单个转换单元的规则子集。这些规则在分析的编译阶段进行检查。
- system-decidable-rules
检查
single-unit-rules子集中的规则，以及适用于程序文件集合的某些规则。这些附加规则是在集成级别应用的复杂度较低的规则。由于这些规则涉及多个转换单元，因而只能在集成层面进行检查。这些规则会在分析的编译和链接阶段进行检查。- all
检查强制、必需和建议规范。
- SQO-subset1
仅检查某个规范的子集。在 Polyspace Code Prover™ 中，遵守这些规则可以减少未经证明的结果数。有关详细信息，请参阅Software Quality Objective Subsets for MISRA Coding Standards。
- SQO-subset2
检查子集 SQO-subset1 以及某些附加规则。在 Polyspace Code Prover 中，遵守这些规则可以进一步减少未经证明的结果数。有关详细信息，请参阅Software Quality Objective Subsets for MISRA Coding Standards。
- from-file
指定一个 XML 文件，您可以在其中针对此编码标准配置自定义检查项选择。要创建配置文件，请点击
，然后从检查项选择窗口的右侧窗格中，选择此编码标准中要检查的规则和建议。保存该文件。 要使用或更新某个现有配置文件，请在检查项选择窗口中，在提供的字段中输入该文件的完整路径，或者点击浏览。
如果您将选项设置为 from-file，请启用
使用文件设置检查项 (-checkers-selection-file)。
依赖关系
仅在您将
源代码语言 (-lang)设置为 C 或 C-CPP 时，此选项才可用。对于具有混合 C 和 C++ 代码的工程，MISRA C:2012 检查项仅分析
.c文件。如果您将
源代码语言 (-lang)设置为 C-CPP，则可以激活 C 编码规则检查项和 C++ 编码规则检查项。如果您同时激活 C 和 C++ 编码规则检查项，为避免出现重复结果，Polyspace 不会生成在链接阶段中发现的 C 编码规则（例如 MISRA C:2012 规则 8.3）。
提示
要减少 Polyspace Code Prover 中未经证明的结果，请执行以下操作：
查找 SQO-subset1 中的编码违规。修复您的代码以解决违规并重新运行验证。
查找 SQO-subset2 中的编码违规。修复您的代码以解决违规并重新运行验证。
如果您选择
single-unit-rules或system-decidable-rules选项，并且选择仅检测编码违规，则相较于检查其他规则，分析可以更快完成。有关详细信息，请参阅。Polyspace Code Prover 不支持检查以下规则：
MISRA C:2012 指令 4.13 和 4.14
MISRA C:2012 规则 21.13、21.14 和 21.17 - 21.20
MISRA C:2012 规则 22.1 - 22.4 和 22.6 - 22.10
要支持包括 Amendment 1 中的安全规范在内的所有 MISRA C:2012 规则，请使用 Polyspace Bug Finder™。
在使用 Embedded Coder® 生成的代码中，存在已知的偏离 MISRA C:2012 规则的情况。请参阅 Deviations Rationale for MISRA C Compliance (Embedded Coder)。
命令行信息
参数：-misra3 |
值：mandatory | mandatory-required | single-unit-rules | system-decidable-rules | all | SQO-subset1 | SQO-subset2 | from-file |
示例 (Bug Finder)：polyspace-bug-finder -lang c -sources |
示例 (Code Prover)：polyspace-code-prover -lang c -sources |
示例 (Bug Finder Server)：polyspace-bug-finder-server -lang c -sources |
示例 (Code Prover Server)：polyspace-code-prover-server -lang c -sources |
版本历史记录
从 R2019a 开始，用来自定义编码标准检查项选择的文件必须使用 XML 格式。您可以将 Polyspace 支持的所有编码标准的自定义选择保存到同一文件中。为此目的使用文本格式的文件会导致错误。
桌面端界面：
如果您的工程包含采用文本格式的自定义编码标准选择文件，则 Polyspace 会自动更新这些文件并将其合并为单个 XML 文件。如果您的工程具有引用同一自定义选择文件的多个冲突配置，则该软件会将每个配置的合并编码标准选择保存到单独的 XML 文件中。
要手动将您的文本文件更新为 XML 格式，请在配置窗格的编码标准和代码度量节点中点击 
。在检查项选择窗口中，选择相应的文件并点击保存更改。Polyspace 会将这些文件合并为单个 XML 文件，并将此文件保存为 filename.xmlfilename 是按字母顺序排列的第一个选定文件的名称。例如，如果您选择 foo.conf 和 bar.conf，则它们将被保存为 bar.conf.xml。
命令行/ IDE：
在命令行或 IDE 扩展中，使用文本文件作为 -misra3 的输入会导致错误。要选择 MISRA C:2012 规则和指令的自定义选择，请使用 XML 文件。
使用 misra_c_2012_rules.xml 文件作为模板来创建包含自定义选择的 XML 文件。此模板文件位于 polyspaceroot\polyspace\examples\doc_cxx\coding_standards_XMLpolyspacerootC:\Program Files\Polyspace\R2024b。要更新您的脚本，请参阅下表：
| 选项 | 改用 |
|---|---|
-misra3 "custom_standard.conf" | -checkers-selection-file misra_c_2012_rules.xml -misra3 from-file |
请参阅：
注意
在以后的版本中，检查项配置文件的 XML 格式可能会有所变化。
