QA-MISRA is QA Systems' advanced static analysis tool, enabling developers to meet C/C++ coding standards for functional safety (e.g., MISRA, AUTOSAR) and security (e.g., CERT, CWE). It ensures code quality and compliance through interactive visualizations, insightful metrics, and seamless integrations.
QA-MISRA detects over 900 code issues related to security, maintenance, and portability early in development, ensuring compliance. By automating early error detection, it reduces costs, minimizes failure risks, and prevents costly recalls. It also streamlines later testing by making components easier to integrate and helps organizations adhere to best practices, reducing litigation risks.
QA-MISRA accelerates development timelines with rapid analysis of complex software, regardless of size. By integrating into CI/CD pipelines, it ensures compliance checks on every branch. The tool produces zero false negatives and zero false positives on syntactic rules. When also coupled with the sound static analyzer Astrée, QA-MISRA produces zero false negatives and very low false positives on semantical rules too.
The tool supports multiple C and C++ language standards and ensures compliance with guidelines such as MISRA C:2004, MISRA C:2012 (Amendments 1–3), MISRA C:2023, MISRA C++:2008, and MISRA C++:2023. Additional supported standards include AUTOSAR C++14, Adaptive AUTOSAR, CERT C/C++, CWE, JSF AV C++, HIS Metrics, and ISO TS 17961.
QA-MISRA offers configurable rulesets for mixed C/C++ projects, whether autogenerated or manually written code. Developers can explore and filter alarms through the GUI or execute batch configurations via the command line. Interactive visualizations, such as call graphs and code metrics, provide valuable insights into code structure and quality. Detailed offline reports in open-standard formats, including Static Analysis Results Interchange Format (SARIF) export simplify compliance verification, while contextual rule explanations reduce the effort needed to resolve issues.
The tool supports centralized license management with options for node-locked or networked floating licenses, providing flexibility for teams of any size.
QA-MISRA is available for Linux and Windows platforms, capturing compilation environments for embedded software analysis. It integrates with tools such as Eclipse®, ARM Keil µVision®, dSPACE TargetLink®, MATLAB/Simulink® and Visual Studio Code. Command-line automation supports batch execution and integration with CI/CD pipelines, enabling continuous compliance checks and quality gate enforcement in DevOps workflows.
Developed in collaboration with the MISRA committee, QA-MISRA ensures precise compliance with industry standards. Its fast analysis, zero false negatives & very low false positives, and powerful visualization tools make it an ideal solution for modern development teams seeking to reduce costs, improve quality, and accelerate time to market.
QA-MISRA features an interactive GUI, a full Command Line Interface, and seamless integrations with IDEs and CI frameworks. With its fast analysis speed and open-format reports, QA-MISRA ensures efficiency and flexibility.
The tool has been independently certified by SGS-TÜV SAAR GmbH for use at the highest integrity levels required by safety-related standards, including ISO 26262, IEC 61508, IEC 62304, EN 50128, EN 50657, and IEC 60880. Additionally, it is end-user qualifiable for standards such as DO-178C. A Qualification Support
{{else if Image}}
{{else if Image}}
{{/if}}
{{/if}}
