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:

1. 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-selection in the command-line.

2. In the Checkers Selection window, click New to create a new checkers file. Optionally, deselect the coding rules that are already selected.

3. Select any MISRA coding standard except MISRA C++:2008, which does not categorize its rules by static enforceability.

4. To select system decidable coding rules, select Decidable.

5. Save your selection as an XML file.

The content of the XML file lists coding rules that MISRA classifies as decidable.