QA-MISRA Compliance Matrices for MISRA C:2023
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:2023, MISRA C++:2008, MISRA C++:2023, 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 MISRA C:2023 coding guidelines. It shows the degree of rule support provided by the QA-MISRA static analyzer for each rule.
- For MISRA C:2023, 205 rules (92% of all 221 rules) are checked, with 146 fully checked, 59 partially checked and only 16 rules are not checked.
- 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:2023 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.