Check MISRA C:2004 (-misra2
)
(To be removed) Check for violation of MISRA C:2004 rules
Checking for violations of MISRA™ C:2004 will be removed in a future release. Use the standard MISRA C:2023 instead. (since R2024b). For information, see Version History.
Description
Specify whether to check for violation of MISRA C™:2004 rules1 . Each value of the option corresponds to a subset of rules to check.
Set Option
Set the option using one of these methods:
Polyspace® user interface (desktop products only): In your project configuration, select the Coding Standards & Code Metrics node and then select a value for this option. See Dependencies for other options you must enable first.
Polyspace Platform user interface (desktop products only): This option does not exist in the project configuration. Activate checkers by using the options
Use custom checkers file
andCheckers activation file (-checkers-activation-file)
.Command line and options file: Use the option
-misra2
. See Command-Line Information.
Why Use This Option
Use this option to specify the subset of MISRA C:2004 rules to check for.
After analysis, the Results List pane lists the coding
standard violations. On the Source pane, for every coding rule
violation, Polyspace assigns a symbol to the keyword or identifier relevant to
the violation.
Settings
Default:
required-rules
required-rules
Check required coding rules.
single-unit-rules
Check a subset of rules that apply only to single translation units. These rules are checked in the compilation phase of the analysis.
system-decidable-rules
Check rules in the
single-unit-rules
subset and some rules that apply to the collective set of program files. The additional rules are the less complex rules that apply at the integration level. These rules can be checked only at the integration level because the rules involve more than one translation unit. These rules are checked in the compilation and linking phases of the analysis.all-rules
Check required and advisory coding rules.
SQO-subset1
Check only a subset of MISRA C rules.
SQO-subset2
Check a subset of rules including
SQO-subset1
and some additional rules.from-file
Specify an XML file where you configure a custom selection of checkers for this coding standard. To create a configuration file, click
, then select the rules and recommendations you want to check for this coding standard from the right pane of the Checkers selection window. Save the file.
To use or update an existing configuration file, in the Checkers selection window, enter the full path to the file in the field provided or click Browse.
If you set the option to
from-file
, enableSet checkers by file (-checkers-selection-file)
.
Dependencies
This option is available only if you set
Source code language (-lang)
toC
orC-CPP
.For projects with mixed C and C++ code, the MISRA C:2004 checker analyzes only
.c
files.If you set
Source code language (-lang)
toC-CPP
, you can activate a C coding rule checker and a C++ coding rule checker. When you have both C and C++ coding rule checkers active, to avoid duplicate results, Polyspace does not produce the C coding rules found in the linking phase (such as MISRA C:2012 Rule 8.3).
Tips
If you select the option single-unit-rules
or
system-decidable-rules
and choose to detect coding rule
violations only, the analysis can complete quicker than checking other rules. For more
information, see Coding Rule Subsets Checked Early in Analysis.
Command-Line Information
Use the command -misra2
in the command line to check for violations of MISRA C:2004 rules.
Parameter:
-misra2 |
Value:
required-rules |
all-rules |
SQO-subset1 | SQO-subset2 |
single-unit-rules | system-decidable-rules
| from-file |
Example (Bug Finder):
polyspace-bug-finder -sources |
Example (Bug Finder
Server):
polyspace-bug-finder-server -sources
|
Alternatively, enable all or specific MISRA C:2004 rules through a checkers activation XML file. See Checkers activation file
(-checkers-activation-file)
.
Version History
See Also
Do
not generate results for (-do-not-generate-results-for)
| Check MISRA
C:2023 (-misra-c-2023)
1 MISRA and MISRA C are registered trademarks of MIRA Ltd., held on behalf of the MISRA Consortium.