Advanced Static Analysis and Bug Detection for C/C++ Languages
Our core technology is founded on deep, accurate, high-fidelity parsing, and incorporates a sophisticated solver-based dataflow engine to identify intricate value-tracking issues and coding vulnerabilities. We prevent defects through the application of coding standards and also provide a rigorous examination for coding bugs. Our portfolio of lead edge products provides very detailed, actionable messaging to increase the productivity of developers in identifying, root causing and fixing issues.
Advanced static analysis of C language, providing sophisticated bug detection through our advanced dataflow solver engine, compliance to coding standards, visualisation of large code structure and metric analysis and display. QA·C is certified as “fit for purpose” for safety-related development under ISO 26262 and IEC 61508.
Advanced static analysis of the C++ language (including the latest version, C++11), providing sophisticated bug detection through our advanced dataflow solver engine, compliance to coding standards, visualisation of large code structures and metric analysis and display. QA·C++ is certified as “fit for purpose” for safety-related development under ISO 26262 and IEC 61508.
Extending the parsing technology from QA·C and QA·C++ to provide a comprehensive centralized software quality management system, widening the audience beyond the core traditional developers to encompass other key stakeholders, and also extending the reach of quality analytics using a range of integration opportunities, including Structure101 and many others.
Coding Standards Compliance Modules
A range of Compliance Modules for use with QA·C, QA·C++ and QA·Verify, covering; MISRA C, MISRA C++, JSF AV C++ and High Integrity C++.