Release notes for Astrée and RuleChecker

24.10

• Collaborative reviews
• Improved precision
• New graphs
• Export of SARIF reports

24.04

• Rule checks for MISRA C++:2023
• Taint analysis for C++
• Support for TargetLink 23.1
• Quick HUD

23.10

• TLS encryption and OpenID authentication
• Rule checks for MISRA C:2023
• Diff-based comments
• Support for PikeOS personalities

23.04

• Support for C++20
• Rule checks for MISRA C:2012 Amendment 3
• Support for TargetLink 2022-B

22.10

• Source-component tracking
• Taint flow visualization
• Rule checks for MISRA C++:202x-DRAFT

22.04

• New views for C++ classes
• Enhanced coverage for CWE, CERT C/C++, AUTOSAR, and MISRA C++
• Support for TargetLink 5.2

21.10

• New call and control flow graphs
• Weighted findings
• Support for rule checks provided by the Clang Static Analyzer
• Support for Windows 11

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

• Call paths for accesses to global variables
• HTML reports
• Jenkins plugin

16.04

• New Findings view
• Program slicer
• Extended Safety Manual

15.10

• Detection of data races and inconsistent locking
• New options
• DAX extensions

15.04

• All-new Result Viewer
• RuleChecker for MISRA-C:2012
• Additional directives

14.10

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