Use generated code requirements (-misra3-agc-mode)

Check for violations of MISRA C:2012 rules and directives that apply to generated code

Description

Specify whether to use the MISRA C™:2012 categories for automatically generated code. This option changes which rules are mandatory, required, or advisory.

Set Option

Set the option using one of these methods:

• Polyspace Platform user interface (desktop products only): In your project configuration, on the Static Analysis tab, select Defects and Coding Standards and then select this option. See Dependencies for other options you must enable first.

• Command line and options file: Use the option -misra3-agc-mode. See Command-Line Information.

Why Use This Option

Use this option to specify that you are checking for MISRA C:2012 rules in generated code. The option modifies the MISRA C:2012 subsets so that they are tailored for generated code.

The option does not add or remove rules from the MISRA C:2012 rule set specified using the option Check MISRA C:2012 (-misra3). Instead, it changes the categorization of the rules as follows:

•  Category changed to Advisory

  These rules are changed to 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

•  Category changed to Readability

  These guidelines are changed to 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

Settings

Off (default)

Use the normal categories (mandatory, required, advisory) for MISRA C:2012 coding guideline checking.

On (default for analyses from Simulink^®)

Use the generated code categories (mandatory, required, advisory, readability) for MISRA C:2012 coding guideline checking.

For analyses started from the Simulink plug-in, this option is the default value.

Dependencies

In the Polyspace Platform user interface, this option is shown only when you select Use custom checkers file.

You can also activate the MISRA C:2012 rules in the command line using either of these options:

• Use the option Check MISRA C:2012 (-misra3) to activate a preselected subset of the rules.

• Use the option Checkers activation file (-checkers-activation-file) to activate a custom selection that is specified in an XML file.

When using an XML file to specify a custom selection, select at least one MISRA C:2012 rule in the file.

Command-Line Information

Use the command -misra3-agc-mode in the command line to check for violations of MISRA C:2012 rules and directives that apply to generated code.

Parameter: -misra3-agc-mode

Default: Off

Example (Bug Finder): polyspace-bug-finder -sources file_name -misra3 all -misra3-agc-mode

Example (Bug Finder Server): polyspace-bug-finder-server -sources file_name -misra3 all -misra3-agc-mode

Alternatively, activate the rules and directives in an activation XML file. See Checkers activation file (-checkers-activation-file).