Write your awesome label here.

Astrée
What's New in
Release 24.10

New features and improvements in the 24.10 release of Astrée and RuleChecker, AbsInt's static analyzers for C and C++ code.
Write your awesome label here.

Static Analysis Tools
What's New in
Release 24.10

Overview of new features in the AbsInt tools for static analysis of binary files (aiT WCET Analyzer, StackAnalyzer, TimingProfiler, TimeWeaver, ValueAnalyzer, EnergyAnalyzer).