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

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

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 & 3).

  • 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.
To access this resource please fill in the form:

By submitting your information, you will gain access to this resource and receive periodic relevant event invitations, as well as information on the latest valuable embedded software testing resources from our experts. You can opt out at any time. See our privacy policy.