Home
Magazine
News
Latest News
Press Release Centre
News Archive
Companies
Jobs
Events
About us
Contact

Follow us:







Search Press
Looking for press releases of a particular company? Enter company name (or keyword) here.
   

Enhanced functionality in latest releases of static analysis tools: QA·C and QA·C++

4 February 2015 / PRQA | Programming Research, a global leader in static analysis, announces an upgrade to its flagship products QAC and QAC++. The new releases of these leading static analysis tools for the C and C++ environments incorporate new functionality covering; Dataflow analysis, enhanced Graphical and Command Line Interfaces, support for the latest Modern C++ language features, and an improved level of coverage for compliance with the MISRA C++ and High Integrity C++ (HIC++) coding standards.

The Dataflow engine in both QAC++ and QAC can now perform pointer alias modelling on class and structure pointer members. To enable this enhancement, the internal representation of class/structure members has been changed to a form which can be processed more efficiently by the SMT Solver, boosting the speed, depth and accuracy of the analysis. This has also improved analysis of pointer arithmetic and allows full pointer alias modeling of the first level of indirection.

Additional enhancements to the cross-platform architecture and updated Graphical and Command Line Interfaces include better integration to IDEs (MS Visual Studio and Eclipse), improved third party component integration to expand the list of supported software languages, plus IPv6 and multi-language support.

QAC++ remains an indispensable tool for the growing number of development teams that are transitioning to Modern C++ (C++11 and C++14). The tool already provides coverage of key new constructs such as rvalue references, variadic templates, user defined literals, the noexcept operator, and many more. The recent addition of extern template, default arguments and extension to this, means that QAC++ now supports more than 60% of recently added language features.

In the latest version of QAC++ there are also significant improvements in the support for both MISRA C++ and HIC++ compliance modules, and the level of coverage of the statically enforceable rules has now reached 92% and 87% respectively.

The latest versions of QAC and QAC++ are available now.


Media Contacts

PRQA | PROGRAMMING RESEARCH
John McConnell
Email: john_mcconnell@programmingresearch.com
Tel: +44 1932 888 080

Napier Partnership Limited
Suzy Kenyon, PR Agent for Programming Research
Email: suzy@napier.co.uk
Tel: +44 1243 531 123


Publisher Contact Information:

PRQA
+44 1932 888 080
john_mcconnell@programmingresearch.com

Company profile of PRQA
Past press releases of PRQA.



Copyright 2004-2017
Professional Tester Inc.
All rights reserved.
Legal Information.