Decidable MISRA Coding Rules Supported by Polyspace Bug Finder
The MISRA™ C and C++standards classify rules that can be statically enforced in all possible cases as Decidable. The table shows a summary of Polyspace® support for decidable coding rules from various MISRA standards.
| Standard | Number of Decidable Guidelines Polyspace Supports | Number of Decidable Guidelines in Standard |
|---|---|---|
| MISRA C™: 2023 | 141 | 149 |
| MISRA C: 2012 | 141 | 149 |
| MISRA C++:2023 | 156 | 156 |
None of the MISRA C:2012 and MISRA C:2023 directives are statically enforceable. When checking decidable rules, Polyspace ignores data flow. Decidable rule checkers can be reported for unreachable code.
To find the decidable coding rules from various MISRA standards that belong in these subsets:
In the Configuration pane of the Polyspace desktop user interface, locate the Coding Standards and Code Metrics node. Select Set checkers by file and click open. Alternatively, use the command
polyspace-checkers-selectionin the command-line.In the Checkers Selection window, click New to create a new checkers file. Optionally, deselect the coding rules that are already selected.
Select any MISRA coding standard except MISRA C++:2008, which does not categorize its rules by static enforceability.
To select system decidable coding rules, select Decidable.
Save your selection as an XML file.
The content of the XML file lists coding rules that MISRA classifies as decidable.
