Required or Mandatory MISRA Coding Rules Supported by Polyspace Bug Finder

The MISRA™ C and C++standards classify the rules that compliant C++ code must follow as Required. The table shows a summary of Polyspace^® support for Required and Mandatory coding rules from various MISRA standards.

Standard	Number of Required Guidelines Polyspace Supports	Number of Mandatory Guidelines Polyspace Supports
MISRA C™: 2023	137 out of 137 Required rules 13 out of 14 Required directives	23 out of 23 Mandatory rules
MISRA C: 2012	137 out of 137 Required rules 13 out of 14 Required directives	23 out of 23 Mandatory rules
MISRA C++:2023	122 out of 122 Required rules 2 out of 2 Required directives	5 out of 5 Mandatory rules
MISRA C++:2008	195 out of 198 Required rules	N/A

To find the Required or Mandatory coding rules from various MISRA standards that belong in these subsets:

1. Open the Checkers Selection dialog box:

   1. In the Configuration node of the Polyspace desktop user interface, locate the Static Analysis tab.

   2. In Defect and Coding Standards, select Use custom checkers file.

   3. Click Open next to Checkers activation file (-checkers-activation-file).

   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.

4. Select Required or Mandatory.

5. Save your selection as an XML file.

The content of the XML file lists coding rules that MISRA classifies as Required or Mandatory.