AdaCore Labs in categories Static Analysis

  • 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.

    Continue Reading »
    Arnaud Charlet
    Jan 23rd, 2012