Astrée changelog

Current release 20.10

  • Run-time error analysis for C++ and mixed C/C++ code bases
  • Faster performance and higher precision
  • Fully automatic integration analysis for OSEK/AUTOSAR projects
  • Extended Qualification Support Kits
  • 50+ other improvements and new features

20.04

  • Faster performance
  • Higher precision
  • New options

19.10

  • Streamlined messages
  • Concurrent execution in phases

19.04

  • Spectre vulnerability detection
  • Taint analysis
  • Closed beta: run-time error analysis for C++ code

18.10

  • New Eclipse plugin
  • Reduced memory consumption
  • Improved commenting on and categorization of alarms

18.04

  • Support for C11
  • Rule checks for C++ code
  • Floating licenses

17.10

  • New comment mode
  • Much faster analyses
  • Support for GCC-extended assembler

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