AdaCore Labs

CodePeer 2.1 Upcoming Release

The next release of the CodePeer automated code review and analysis tool will provide a variety of enhancements, including full support for Ada 2012, detection of uninitialized global variables, more precise preconditions, more extensive analysis for race conditions, improved support for access-to- subprogram types, and improved handling of unused assignments.

Created on Jan 23rd, 2012.  Updated on Mar 14th, 2012.

Arnaud Charlet

Leave a Comment

Commenting is not available in this channel entry.