PRQA upgrades QA-C++
PRQA \ Programming Research has announced a major upgrade to QA-C++. Version 3.0 is a substantial new release of this static analysis tool for C++ environments that incorporates a deep-flow dataflow analysis technology along with support for the major features in ISO C++ 2011.
QA-C++ 3.0 contains the same advanced dataflow analysis engine, coupled with Satisfiability Modulo Theories (SMT) solver that was recently introduced in QA-C 8.0. This dataflow engine is now further enhanced with pointer aliasing and function call bindings within a translation unit for true and detailed inter-function capability.
"Our technical delivery continues to be focused on industrial-strength use of C and C++ languages. We hold a pre-eminent position in compliance to coding standards and defect prevention. Our focus on precise source code analysis also allows us to deliver uniquely high grade bug-detection in both language-use and dataflow categories in this latest C++ release," said Fergus Bolger, Chief Technical Officer, PRQA.
For More Details See
www.varindia.com