使用生成代码的要求 (`-misra3-agc-mode`)

检查是否存在违反适用于生成的代码的 MISRA C:2012 规则和指令的情形

描述

指定是否对自动生成的代码使用 MISRA C™:2012 类别。此选项用于更改哪些是强制、必需或建议的规则。

用户界面（仅限桌面端产品）：在您的工程配置中，此选项位于编码标准和代码度量节点上。有关您还必须启用的其他选项，请参阅依存关系。

用户界面（仅限 Polyspace 平台、桌面端产品）：在您的工程配置中，在静态分析选项卡中单击缺陷和编码标准，然后选择使用符合 MISRA C:2012 的生成代码要求。

命令行和选项文件：请使用 -misra3-agc-mode 选项。请参阅命令行信息。

使用此选项可指定您要根据 MISRA C:2012 规则检查生成的代码。此选项用于修改 MISRA C:2012 子集，以便针对生成的代码调整它们。

关闭（默认值）

使用常规类别（强制、必需、建议）进行 MISRA C:2012 编码规范检查。

打开（对于在 Simulink^® 中进行的分析，这是默认值）

使用生成代码的类别（强制、必需、建议、可读性）进行 MISRA C:2012 编码规范检查。

对于从 Simulink 插件启动的分析，此选项是默认值。

要使用此选项，请激活至少一个 MISRA C:2012 规则。要激活 MISRA C:2012 规则，请使用以下两个选项之一：

使用检查 MISRA C:2012 (-misra3) 选项激活一个预先选择的规则子集。
使用使用文件设置检查项 (-checkers-selection-file) 选项以及检查 MISRA C:2012 (-misra3) 激活在 XML 文件中指定的自定义选择。

当使用 XML 文件指定自定义选择时，请在该文件中选择至少一个 MISRA C:2012 规则。

在 Polyspace 平台用户界面中，仅当您选择使用自定义检查项文件时，此选项才会显示

在命令行中使用 -misra3-agc-mode 命令检查是否存在违反适用于生成的代码的 MISRA C:2012 规则和指令的情形。

参数：-misra3-agc-mode

默认值：关闭

示例 (Bug Finder)：polyspace-bug-finder -sources file_name -misra3 all -misra3-agc-mode

示例 (Bug Finder Server)：polyspace-bug-finder-server -sources file_name -misra3 all -misra3-agc-mode

或者，在激活 XML 文件中激活规则和指令。请参阅检查项激活文件 (-checkers-activation-file)。