Astrée changelog

Below is a quick overview of the main changes in all major releases going back seven years. The links take you to detailed release notes that cover all changes in each release.

Current release 17.10

17.04

  • Standalone RuleChecker
  • Improved performance and
    reduced memory consumption

16.10

16.04

15.10

15.04

14.10

  • Rule Checker for MISRA-C:2004
  • New options and preferences

14.04

  • Detection of write-after-write
  • External Declarations view
  • Export to DAX

13.10

  • Coupling with TargetLink
  • Analysis of asynchronous programs
  • Safety Manual

13.04

  • New options
  • Various improvements and bug fixes

12.10

  • Data and control flow reports
  • Wrapper generator
  • Scenario builder

12.04

  • QSLCD report
  • Automatic extraction of directives
  • Analysis queue

11.12

  • Qualification Support Kit
  • Detection of field escapes
  • Full-text search

11.08

  • External directives
  • Full support for 64-bit integers, gotos, uninitialized variables

11.04

  • Support for compiler-specific extensions
  • Source navigation
  • Server access control

10.12

  • Preprocessor support
  • Project wizard
  • Call graph browser
  • XML reports

10.08

Initial release with an improved architecture and GUI