+886 2 77182788
Industry benchmark for in-depth, accurate analysis of industrial-scale C/C++ code
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.
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 C/C++ compilers：