Enhancements to Inter-function dataflow analysis identifies complex failure conditions and provides Japanese language support.
HERSHAM, UK, 17 July 2013 / — PRQA | Programming Research, a global leader in static analysis, announces a major upgrade to QA·C++. Version 3.1 is a new release of this leading static analysis tool for C++ environments that incorporates native 64-bit support for Windows, Linux and Solaris along with support for ISO C++ 2011.
QA·C++ 3.1 offers full support of native 64-bit hardware environments to satisfy the growing demand from Windows, and in particular the UNIX-like community where 32-bit libraries are no longer being shipped with 64-bit versions of the OS.
Continued extensions and improvements to the Satisfiability Modulo Theories (SMT) dataflow engine combined with the hi-fidelity semantic information from the in-house parser enable QA·C++ to not only detect issues but also provide detailed information on the run-time state under which the issue would become apparent.
“We have seen a significant increase in the number of requests from developers for 64-bit implementations. QA·C++ 3.1 not only delivers full support for the leading 64-bit platforms but also greatly improved issue detection.” said Fergus Bolger, Chief Technical Officer at PRQA. “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. Additionally, two major features of C++ ’11 are included in QA·C++ 3.1, specifically, support for ‘rvalue references’ and ‘variadic templates’, ensuring that QA·C++ remains as the static analysis tool of choice for all versions of the C++ language.”
QA·C++ 3.1 also includes enhanced language support for users in Japan with UTF-8 locales, especially on Linux.
QA·C++ Version 3.1 is available now. Further details are available at www.programmingresearch.com
PRQA | PROGRAMMING RESEARCH
Tel: +44 1932 888 080
Napier Partnership Limited
Suzy Kenyon, PR Agent for Programming Research
Tel: +44 1243 531 123