本页翻译不是最新的。点击此处可查看最新英文版本。

使用生成代码的要求 (-misra-c-2023-agc-mode)

R2026a

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

自 R2024a 起

描述

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

设置选项

使用以下方法之一设置选项：

  • Polyspace 平台用户界面（仅限桌面端产品）：在您的工程配置中，在静态分析选项卡上，选择缺陷和编码标准，然后选择此选项。有关您必须先启用的其他选项，请参阅依赖关系。

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

为何使用此选项

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

此选项不会在使用检查 MISRA C:2023 (-misra-c-2023) 选项指定的 MISRA C::2023 规则集中添加或删除规则。而是按如下方式更改规则的分类：

  • 以下规则已更改为 Advisory 类别：

    • 5.3

    • 7.1

    • 8.4、8.5、8.14

    • 10.1、10.2、10.3、10.4、10.6、10.7、10.8

    • 14.1、14.4

    • 15.2、15.3

    • 16.1、16.2、16.3、16.4、16.5、16.6、16.7

    • 20.8

  • 以下规范已更改为 Readability 类别：

    • Dir 4.5

    • 2.3、2.4、2.5、2.6、2.7

    • 5.9

    • 7.2、7.3

    • 9.2、9.3、9.5

    • 11.9

    • 13.3

    • 14.2

    • 15.7

    • 17.5、17.7、17.8

    • 18.5

    • 20.5

设置

关闭（默认值）

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

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

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

对于从 Simulink 中的 Polyspace® Verifier 启动的分析，此选项是默认值。

依赖关系

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

您也可以使用以下任一选项在命令行中激活 MISRA C:2023 规则：

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

命令行信息

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

参数：-misra-c-2023-agc-mode
默认值：关闭
示例 (Bug Finder)：polyspace-bug-finder -sources file_name -misra-c-2023 all -misra-c-2023-agc-mode
示例 (Bug Finder Server)：polyspace-bug-finder-server -sources file_name -misra-c-2023 all -misra-c-2023-agc-mode

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

版本历史记录

在 R2024a 中推出

另请参阅

|

主题