Helix QAC

Helix QAC is the industry-leading static analysis solution for the C language, providing a comprehensive suite of features to help to enforce a wide range of coding standards, and to find bugs in new and legacy code. Leveraging our core capabilities, Helix QAC offers an automated, highly effective means to analyze your code against the chosen coding standard, with metrics and code structure visualizations bringing a further level of clarity to complex projects. Use this tool to prevent bugs and to identify coding issues extremely early in the development cycle, passing better code into the latter stages of the development process.


Leveraging our core capabilities, Helix QAC is the most sophisticated static analysis solution for advanced C++ environments, combining language compliance (up to the latest C++11 standard) with advanced language and dataflow analysis. With compliance packages for MISRA C++, HIC++ and JSF AV C++ coding standards, Helix QAC offers an automated, highly effective means of analyzing your code against your chosen coding standard, with metrics and code structure visualizations bringing a further level of clarity to complex C++ projects.


SGS-TÜV Saar has certified Helix QAC as “usable in the development of safety related software” for the key safety critical standards, IEC 61508, ISO 26262, EN 50128, IEC 60880 and IEC 62304, enabling our customers to achieve product certifications to these standards more easily and in less time.

ma_b2s1d1dl1.png

Main Benefits

  • C/C++ language proprietary parser, integrated with a sophisticated dataflow engine

  • Identifies coding defects at the earliest possible stage in the development cycle

  • Dataflow analysis to catch bugs (includes Yices™ decision procedures technology under license from SRI International®)

  • Improves code reliability, maintainability, portability, re-usability and testability

  • Demonstrate compliance to coding rule sets and coding standards, including MISRA C/C++, JSF, and HIC++

  • Very precise diagnostic information (and extensive help text) for developers to identify defects, analyze the root causes and implement fixes

  • Configurable metric thresholds to limit code complexity

  • Automated code inspection provides instant, object, repeatable code audits

  • Minimal false positives, saving time, money and key experienced resources

Supported Environment

Installation OS:

Windows/Linux/Solaris, etc.

Supported C/C++ compilers:


VisualDSP

GCC

arm-none-eabi-gcc

IAR

COSMIC

KEIL

Cypress

MPLAB

Freescale_CW

Visual Studio

GHS

QNX

Customized compliers


Related Resources

  • Whitepapers

  • Blog

  • News

Related

Download Request

Do you need technical support?

Verification code

Warm tips:

We will send you the download address by e-mail. Please check whether your work email is correct.

Submit