QA-MISRA Compliance Matrices for MISRA-C:2012 (including Amendments 1 & 2)

QA-MISRA is a robust static analyzer designed to identify and rectify coding guideline violations, ensuring software safety and security. It adheres to international standards such as MISRA-C:2004, MISRA-C:2012, MISRA-C++:2008, AUTOSAR C++14, ISO/IEC TS 17961:2013, CERT, JSF AV C++, and CWE rule sets. Additionally, it includes coding style rules and HIS-Metrics thresholds.

This document provides a useful overview of QA-MISRA’s capabilities and limitations for verifying compliance with major coding guidelines and standards, especially MISRA C:2012 (including Amendments 1&2).

• The document provides compliance matrices for the MISRA C:2012 and its amendments coding guidelines.
• For MISRA C:2012, 203 rules (99%) are checked, with 144 fully checked and 59 partially checked. Only 3 rules are not checked.
• Amendment 1 adds 14 additional rules, most of which are at least partially checked.
• Amendment 2 modifies 3 existing rules related to standard libraries.
• Amendment 3 adds 23 new rules, the majority of which are fully checked.
• The compliance matrices detail the level of support provided by the QA-MISRA static analyzer for each rule.
• Support levels range from fully checked, indicating precise enforcement, to partially checked and not checked.
• Fully checked is the highest level of support, guaranteeing detection of violations.
• Partially checked rules may miss some violations or check a simplified version of the rule.
• The matrices provide useful information on the capabilities of the QA-MISRA tool in enforcing the MISRA C:2012 guidelines and amendments.