MISRA C:2012 Directives and Rules

Descriptions and example of MISRA C:2012 guidelines supported in Polyspace^®

Polyspace can check your code against the MISRA™ C:2012 coding rules and some directives. Use the Check MISRA C:2012 (-misra3) analysis option to activate subsets of the rules in Bug Finder. For a list of supported rules in Bug Finder, See MISRA C:2012 Directives and 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

Migrate to Bug Finder

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.