MISRA C:2004 Rules

List and description of MISRA C™:2004 guidelines supported by Polyspace^®

Polyspace can check your code against the MISRA C:2004 and MISRA™ AC AGC Rules. For information about supported rules, see MISRA C:2004 and MISRA AC AGC Coding Rules. Use the Check MISRA C:2004 (-misra2) or Check MISRA AC AGC (-misra-ac-agc) analysis option to activate subsets of the rules.

When MISRA C rules are violated, Polyspace provides messages with information about the rule violations. Most messages are reported during the compile phase of an analysis.

The MISRA AC AGC checker checks rules from the OBL (obligatory) and REC (recommended) categories specified by MISRA AC AGC Guidelines for the Application of MISRA-C:2004 in the Context of Automatic Code Generation.

There are subsets of MISRA 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:

Topics

Polyspace Support for MISRA C:2004

Polyspace Support for Coding Standards
Check the Polyspace support for different coding standards.
Check for and Review Coding Standard Violations
Check for violations of AUTOSAR C++14, CERT^® C, CERT C++, CWE, MISRA C, MISRA C++, JSF AV C++, or ISO-17961 standards with Polyspace Bug Finder.
MISRA C:2004 and MISRA AC AGC Coding Rules
Find the MISRA C:2004 rules that Polyspace can check.

MISRA C:2004 Subsets

Software Quality Objective Subsets (C:2004)
MISRA C:2004 rules that reduce code complexity.
Software Quality Objective Subsets (AC AGC)
See which MISRA C:2004 rules that reduce code complexity in generated code.
Coding Rule Subsets Checked Early in Analysis
Adjust your coding rules checking for a faster analysis.