Slide 1

Automated coding standards compliance

Static Code Analysis to Accelerate Standards Compliance & Quality Insights

By performing static analysis with QA-MISRA, you can easily identify risky structures and potential issues related to security, maintenance, and porting at an early stage. This proactive approach enables you to detect and eliminate software errors during the development process, resulting in significant cost savings. With over 900 checks, QA-MISRA is a powerful MISRA static analysis tool for identifying potential software errors in source code.

Fast Analysis of C/C++ Code
QA-MISRA analyses software packages very quickly, regardless of the size of the codebase. QA-MISRA not only focuses on MISRA coding standards compliance but also on code quality insights. This makes the analyzer very quick to run.

Accurate standards compliance
QA-MISRA checks code for MISRA compliance with zero false negatives and zero false positives on syntactic coding rules.

Improve source code quality
HIS and other code quality metrics with threshold checks. Call graphs and C++ class diagrams visualise code quality.

QA-MISRA Datasheet

What’s new in QA-MISRA

START TRIAL

QA-MISRA SUPPORTED CODING STANDARDS

MISRA C:2012
C coding guidelines, including Amendments 1, 2 & 3
MISRA C:2023
C coding guidelines
MISRA C++:2008
C++ Coding Guidelines
MISRA C++:2023
C++ Coding Guidelines, including AUTOSAR
AUTOSAR C++14
C++ for Adaptive AUTOSAR
HIS Metrics
Hersteller Initiative Software

JSF AV C++
C++ coding standard for JSF (F-35 aircraft program)
CERT C/C++ 2016
C/C++ Coding Guidelines
CWE 4.13
Common Weakness Enumeration
ISO TS 17961:2013
C Secure Coding Rules

EXPLORE QA-MISRA

Hover over the options to learn more.

Coding Standards Compliance

Coding Standards Compliance
Check your C/C++ source code for compliance with internationally recognised coding guidelines and rules.

Learn More

Metrics & Visualisations

QA-MISRA provides quality insights through metrics and visualisations to understand your code better.

Learn More

Why invest in QA-MISRA?

Industry leaders use QA-MISRA to accelerate analysis times and standards compliance, and increase confidence by reducing errors in syntactic coding rules and improving source code quality.

Learn More

Fast Analysis of C/C++ Code

QA-MISRA analyses software packages very quickly, regardless of the size of the codebase.
QA-MISRA also focuses on coding standards compliance and quality insights. This makes the analyzer very quick to run.

Accurate standards compliance

QA-MISRA checks code for compliance with zero false negatives and zero false positives on syntactic coding rules, and low false-positive results on semantic rules.

Improve source code quality

HIS and other code quality metrics with threshold checks. Call graphs and C++ class template diagrams visualise quality.

HOW QA-MISRA FITS IN YOUR VERIFICATION PROCESS

QA Systems static analysis tools and software testing tools support verification in the linear flow of software development below. We recommend applying sequential approach to these verification stages with tools that are designed and targeted for each purpose.

COMPLY > Use QA-MISRA for fast coding standard compliance at the developer’s desktop first.
TEST > Use Cantata for automated dynamic execution of the standard compliant software.
ANALYZE > Use Astrée for proving absence of run-time errors on whole application.
NB: Astrée uses the same configuration as QA-MISRA, so the effort to apply it later to a QA-MISRA project later is low.

Bundle Option for Shared License of QA-MISRA and Cantata

Customers can benefit from a bundled solution for both QA-MISRA and Cantata. This means that customers can access a shared concurrent license pool, and the tools can be integrated in the Eclipse-based IDE.

Purchasing QA-MISRA as a bundle with Cantata, or converting an existing Cantata license to a bundle, offers attractive combined prices. For more information, please contact us.

START TRIAL

SOFTWARE SAFETY STANDARDS COMPLIANCE

To obtain certification for device software, compliance with international software safety standards is crucial. These standards require evidence of coding standards compliance, and in most cases, verification tools used must be certified/qualified or proven through use.

SGS-TÜV SAAR GmbH has independently certified QA-MISRA for the main software safety standards. Therefore, a QA-MISRA tool certification kit is provided free of charge, which contains everything needed out-of-the-box to help achieve certification for your device software.

QA-MISRA Tool Certification Kit Overview

Automatic tool qualification of QA-MISRA is also available with a tool Qualification Support Kit (QSK)

QA-MISRA Qualification Support Kit Datasheet

CERTIFIED / QUALIFIABLE STANDARDS

International software safety standards require evidence of coding standards compliance to obtain certification for the device software. For further information about each standard please see the links below: