Release notes for Astrée and RuleChecker

Current release 21.10

  • New call and control flow graphs
  • Weighted findings
  • Improved precision of multiple abstract domains
  • Support for rule checks provided by the Clang Static Analyzer
  • Support for more AUTOSAR, SEI CERT C++, and MISRA C++ rules
  • Standalone RuleChecker now distributed exclusively by QA Systems
  • Extended Qualification Support Kits

21.04

  • Improved performance and precision
  • Support for JSON preprocessor configurations
  • Last release to support Windows 7

20.10

  • Support for C++ and mixed C/C++ code bases
  • Fully automatic integration analysis for OSEK/AUTOSAR projects

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