本页面提供的是上一版软件的文档。当前版本中已删除对应的英文页面。

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

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

不再支持使用 Code Prover 检查是否存在违反适用于生成代码的 MISRA C™:2012 规则和指令的情形。请改用 Bug Finder 中的使用生成代码的要求 (-misra3-agc-mode)。有关详细信息，请参阅版本历史记录。

描述

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

设置选项

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

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

为何使用此选项

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

设置

关闭（默认值）

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

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

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

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

 类别已更改为 Advisory

 类别已更改为 Readability

依存关系

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

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

命令行信息

参数：-misra3-agc-mode
默认值：关闭
示例 (Bug Finder)：polyspace-bug-finder -sources file_name -misra3 all -misra3-agc-mode
示例 (Code Prover)：polyspace-code-prover -sources file_name -misra3 all -misra3-agc-mode
示例 (Bug Finder Server)：polyspace-bug-finder-server -sources file_name -misra3 all -misra3-agc-mode
示例 (Code Prover Server)：polyspace-code-prover-server -sources file_name -misra3 all -misra3-agc-mode

版本历史记录

全部展开

另请参阅

|

主题