CodePeer 18.x


  • DO178 qualification material updated to DO178C, with an extended Ada language subset support (added exceptions, exception handlers, modular types, access types, access checks, generic units)
  • Improved User Experience
    • Integration of GNAT warnings in CodePeer results (--gnat-warnings switch)
    • More detailed CSV output
    • Integration of compiler specific packages for easier analysis of non GNAT code. 
    • Automatic use of the Ada runtime from your GNAT installation
    • Improved performance
  • Reduced False Positives
    • Much better handling of validity check messages
    • Better handling of calls to unknown subprograms
    • More automatic loop unrolling