The Polyspace® MISRA® C++ checker helps you comply with the MISRA C®++:2008 coding standard.[1]
When MISRA C++ rules are violated, the Polyspace software provides messages with information about why the code violates the rule. Most violations are found during the compile phase of an analysis. The MISRA C++ checker can check 202 of the 230 MISRA C++ coding rules.
There are subsets of MISRA C++ coding rules that can have a direct or indirect impact on the selectivity (reliability percentage) of your results. When you set up rule checking, you can select these subsets directly. These subsets are defined in Software Quality Objective Subsets (C++).
Note
The Polyspace MISRA C++ checker is based on MISRA C++:2008 – “Guidelines for the use of the C++ language in critical systems."
[1] MISRA is a registered trademark of MIRA Ltd., held on behalf of the MISRA Consortium.