The QA·C 8.0 code analysis tool from Programming Research is now available from Phaedrus Systems. QA·C 8.0 performs deep-flow dataflow analysis to identify critical coding issues relating to control-flow, variable state, and library usage. QA·C 8.0 is designed for safety-critical and high reliability embedded systems.
Unlike many current static analysis tools that abstract summary data and analyze it at the software interface layers, QA·C 8.0 focuses on detailed code semantics. QA·C 8.0 provides the C and C++ developer with a precise and detailed functional analysis of the bits and bytes of his software-based systems.
This is the first use in deep-flow static analysis products of an advanced industry-proven Satisfiability Modulo Theories (SMT) solver engine, which provides a new level of understanding of the code.
In addition to identifying well-known language vulnerabilities, QA·C 8.0 provides additional value-sensitive operations that are particularly relevant to embedded applications, such as invalid pointer operations, dangerous arithmetic operations, and flow control anomalies.
QA·C 8.0 is available now from Phaedrus Systems.
More information is available at www.phaedsys.com, or contact Chris Hills, Technical Director and Founder, Phone: +44 1827 259546 or email: .
Toni McConnel can be reached at .