MISRA C:2004 Rules

Descriptions and list of MISRA C:2004 guidelines supported in Polyspace^®

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