☰
Products
Support
News
About us
Deutsch
Astrée
RuleChecker
Compliance
Integration
New in 25.04
Try now
Release notes for Astrée and RuleChecker
Release 25.04
Support for C++23
Support for MISRA C:2025
Support for more CWE rules
Improved precision
Dynamic loop unrolling
Various GUI improvements
Support for TargetLink 24.1
Support for OAuth2-based authorization
LSP support for IDE integration
Improved and extended QSKs with a new GUI
Support for RHEL 7 is now deprecated
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
©
AbsInt
. Astrée is developed and distributed by AbsInt under license from the
CNRS
/
ENS
.
“MISRA”, “MISRA C”, and “MISRA C++” are registered trademarks of The MISRA Consortium, Limited, and are used under license.
No endorsement of products or tools by MISRA is implied.
Traffic lights image:
Raysonho, CC0 1.0
, sky photography:
S. Eugster, CC BY-SA 3.0
.
Legal notices
.
Privacy policy
.
URL: https://www.absint.com/releasenotes/astree/index.htm