qa-misra

Key Benefits & Features and Technical Specifications

qa-misra

Key Benefits & Features and Technical Specifications

KEY BENEFITS

  • Reduces cost while improving time-to-market
  • Lowers the risk of program failure
  • Identifies coding problems early in the development cycle
  • Ensures quality code and coding standard compliance
  • Fully integrated environment for the MISRA standard
  • For all industries where safety-critical software is essential
  • Accelerates and refocuses the code review process and improves collaboration of development teams
  • Elevates the know-how of your developers and promotes best practices
  • Enhances reliability, portability, and maintainability
  • Increase code portability and re-usability
  • Immediate and repeatable tests in your development environment

KEY FEATURES

QA-MISRA is a static analyzer designed to check coding guidelines and compute code metrics for safety-critical C/C++ programs adhering to the C90, C99, C11, C18, and C++98, C++11, C++14, C++17 language norms.

  • Fast and easy to use
  • Enforcement of coding guidelines including MISRAC:2004, MISRA-C:2012, and customized rule sets
  • No false positives and no false negatives on syntactical rules
  • Seamless integration with Astrée to guarantee zero false negatives and minimal false positives on semantical rules
  • Computation of code metrics: HIS metrics and customized metrics
  • Enforcement of metric thresholds
  • Full tracability of reported code issues
  • Interactive result exploration
  • Robust classification of findings
  • Configurable report file generation
  • Tracking and visualization of project progress and analysis revisions
  • Client/server architecture featuring queue processing of analysis requests, and centralized user management and authentication
  • Stand-alone tool with open interfaces and open file formats
  • MATLAB integration and TargetLink coupling
  • Automatic tool qualification according to safety standards

TECHNICAL SPECIFICATIONS, PLATFORMS AND INTEGRATIONS

General Functions

  • Command Line Interface (CLI)
  • Interactive GUI
  • Online-Help & MISRA Knowledgebase
  • Overviews and detailed reports
  • Integrates into Eclipse-based IDE‘s

Code Analysis Functions:

  • Fast source code analysis
  • Alerts can be classified on the basis of comments
  • ISO/IEC 9899:1990 (C90)
  • ISO/IEC 9899:1999 (C99)
  • ISO/IEC 9899:2011 (C11)
  • ISO/IEC 9899:2018 (C18)
  • ISO/IEC 14882:2011 (C++11)
  • ISO/IEC 14882:2014 (C++14)
  • ISO/IEC 14882:2017 (C++17)

Supported Coding Standards:

  • MISRA C:2004
  • MISRA C:2012
  • MISRA C:2012 Amendment 1&2
  • MISRA AC AGC
  • HIS Metrics
  • ISO/IEC TS 17961:2013 (C Secure Coding Rules)
  • SEI CERT C Coding Standard
  • SEI CERT C++ Coding Standard
  • Common Weakness Enumeration (CWE)
  • MISRA C++:2008
  • Adaptive AUTOSAR C++14
  • Custom Coding Standards
  • Review of naming conventions
  • Expandable Rulesets

Safety-Critical Standards:

By using the ‘Qualification Support Kit‘, QA-MISRA can be automatically qualified for the following safety standards:

  • ISO 26262:2018 (Automotive)
  • EN 50128:2011/A2:2020 (Railways)
  • EN 50657:2017 (Railways Rolling Stock)
  • IEC 62304:2006 (Medical Devices)
  • IEC 61508:2010 (Industrial Automation)
  • DO-178B (Aerospace and Defence)
  • DO-178C / DO-330 (Aerospace and Defence)

System Requirements:

  • Windows:64-bit Windows 10 or higher
  • Linux: 64-bit CentOS/RHEL 7 or other compatible distribution
  • 4 GB RAM (16 GB recommended)
  • 4 GB Storage space

Continuous Integration Environments:

  • Jenkins
  • Other CI environments can be integrated via the command line interface