MISRA C++:2008 Rules

Description and examples of MISRA™ C++:2008 guidelines supported in Polyspace^®

Polyspace Bug Finder can check your code against the MISRA C++ 2008 coding standard. Use the Check MISRA C++:2008 (-misra-cpp) analysis option to activate subsets of the rules in Bug Finder. For a list of supported rules in Bug Finder, See MISRA C++:2008 Rules.

Note

Code Prover no longer supports checking compliance with external coding standards and calculating code metrics. Migrate to Bug Finder for these workflows. See Migrate Code Prover Workflows for Checking Coding Standards and Code Metrics to Bug Finder.

Topics

Justify Coding Rule Violations Using Code Prover Checks
Use green runtime checks in Code Prover to allow exceptions for coding rule violations.
Migrate Code Prover Workflows for Checking Coding Standards and Code Metrics to Bug Finder
Use Bug Finder instead of Code Prover to check compliance with various coding standards, naming conventions, and code complexity standards. Calculate code metrics by using Bug Finder.