Release notes for Astrée and RuleChecker

Release 23.10

  • TLS-encrypted connections between servers, clients, and the License Manager
  • Support for external user authentication via OIDC or OAuth 2.0
  • Rule checks for MISRA C:2023
  • Generalized abstract ARINC 653 OS stubs and support for PikeOS personality
  • Enhanced call graphs
  • Tooltips for value ranges of all sub-expressions
  • Diff-based comment mechanism
  • Improved and extended Qualification Support Kits

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

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