industry news
Subscribe Now

PRQA enhances functionality in latest releases of QA·C and QA·C++, including Dataflow, Graphical and Command Line Interfaces, support for Modern C++ features and improved coverage for MISRA C++ and HIC++

4 February 2015 / — PRQA | Programming Research, a global leader in static analysis, announces an upgrade to its flagship products QA·C and QA·C++. 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 QA·C++ and QA·C 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.

QA·C++ 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 QA·C++ now supports more than 60% of recently added language features.

In the latest version of QA·C++ 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 QA·C and QA·C++ are available now. Further details are available at www.programmingresearch.com.

About PRQA | Programming Research

Established in 1985, PRQA, ISO 9001 and TickIT certified, is recognized throughout the industry as a pioneer in static analysis, championing automated coding standard inspection and defect detection, delivering its expertise through industry-leading software inspection and standards enforcement technology used by over 3,000 companies globally. PRQA has corporate offices in the UK, USA, India and Ireland, complemented by a worldwide distribution network. Find out more at www.programmingresearch.com

Leave a Reply

featured blogs
Mar 28, 2024
The difference between Olympic glory and missing out on the podium is often measured in mere fractions of a second, highlighting the pivotal role of timing in sports. But what's the chronometric secret to those photo finishes and record-breaking feats? In this comprehens...
Mar 26, 2024
Learn how GPU acceleration impacts digital chip design implementation, expanding beyond chip simulation to fulfill compute demands of the RTL-to-GDSII process.The post Can GPUs Accelerate Digital Design Implementation? appeared first on Chip Design....
Mar 21, 2024
The awesome thing about these machines is that you are limited only by your imagination, and I've got a GREAT imagination....

featured video

We are Altera. We are for the innovators.

Sponsored by Intel

Today we embark on an exciting journey as we transition to Altera, an Intel Company. In a world of endless opportunities and challenges, we are here to provide the flexibility needed by our ecosystem of customers and partners to pioneer and accelerate innovation. As we leap into the future, we are committed to providing easy-to-design and deploy leadership programmable solutions to innovators to unlock extraordinary possibilities for everyone on the planet.

To learn more about Altera visit: http://intel.com/altera

featured chalk talk

Electrical Connectors for Hermetically Sealed Applications
Sponsored by Mouser Electronics and Bel
Many hermetic chambers today require electrical pathways to provide internal equipment with power, data or signals, or to receive data and signals from equipment within the chamber. In this episode of Chalk Talk, Amelia Dalton and Brad Taras from Cinch Connectivity Solutions explore the role that seals and connectors play in the performance of hermetic chambers. They examine the methodologies to determine hermetic seal leaks, the benefits of epoxy hermetic seals, and how Cinch Connectivity’s epoxy-based seals and hermetic connectors can add value to your next design.
Aug 22, 2023
26,322 views