☰
Products
Support
News
About us
de
Astrée
RuleChecker
Compliance
Integration
New in 24.10
Try now
Release notes for Astrée and RuleChecker
Release 24.10
Collaborative reviews of analysis findings
New graphs for thread activation, signal interference, component interference, and cybersecurity attacks
Improved precision
Faster analyses thanks to incremental preprocessing
Export of SARIF reports
Updated Jenkins plugin
Support for TargetLink on Linux
Improved and extended Qualification Support Kits
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
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
Rule Checker for MISRA-C:2012
Additional directives
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
©
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