Key Benefits & Features and Technical Specifications


  • 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
  • Accelerates and refocuses the code review process and improves teamwork
  • Builds programmer awareness -fosters best practices
  • Enhances reliability, portability, and maintainability
  • Allows instant and repeatable code audits and reviews


  • C/C++ language proprietary parser, integrated with a sophisticated dataflow engine
  • Support for ISO C++’11
  • Identifies coding defects at the earliest possible stage in the development cycle
  • Advanced defect prevention provided by whole-program dataflow analysis with state-of-the-art Satisfiability Modulo Theories (SMT) solver technology
  • Optional multi-threading and resources module (MTR) to complement QA-C/QA-C++ analysis with multi-thread inspection of code streams
  • Improves code reliability, maintainability, portability, re-usability and testability
  • Demonstrate compliance to coding rule sets and coding standards, including MISRA, JSF and HIC++
  • Very precise diagnostic information (and extensive help text) for developers to identify defects, analyze the root causes and implement fixes
  • Diagnostics, configurable metric thresholds to limit code complexity
    Automated code inspection provides instant, objective, repeatable code audits
  • Minimal false positives, saving time, money and key experienced resources


  • Component-based, plugin architecture
  • Two user interfaces:
    • cross-platform graphical user interface with integrated source code editor,
    • cross-platform command line interface.
  • Full integration with Microsoft Visual Studio and Eclipse, so developers now have all the features of the cross-platform GUI from within their favorite development environment.
  • Cross-platform, cross-interface, multi-language project format and project engine, allowing mixed source code (C and C++) projects
  • Portable project format, allowing project configurations to be easily distributed among development team members.
  • Complete control over all project settings from within one cross-platform user interface.
  • One single installer, providing:
    • all user interfaces,
    • out-of-the-box compatibility for all supported compilers,
    • a feature set that allows easy integration with the vast majority of build automation systems and IDEs,
    • the ability to upload results to the QA-Verify Quality Management System.

Supported Platforms:

  • Windows 7 (32 & 64-bit)
  • Linux RHEL 5 (32 & 64-bit)
  • Solaris 10 (64-bit)

Deployment Options:

  • New Cross Platform GUI
  • Command Line
  • Makefile Integration
  • Tightly Integrated with Microsoft Visual Studio™ 2008, 2010, 2012 and 2013
  • Tightly Integrated with Eclipse™ based IDEs (eg CodeWarrior and Wind River Workbench™)
  • Model-Driven Development Environments (e.g. Rhapsody™)
  • Continuous Integration Environments (e.g. Jenkins™)
  • Cross Platform Analysis Project Management

Compliance Modules:

  • JSF AV C++
  • High Integrity C++
  • CERT® C and CERT® C++