Release 25.10 of AbsInt Tools for Safety-Critical Software Development

All Products

===============

- The AbsInt Linux tools require now RHEL 9 or compatible and ship a Dockerfile creating a compatible 
Rocky Linux 9 container to facilitate deployment in containerized environments.

 aiT, TimingProfiler, StackAnalyzer, TimeWeaver

==================================================

- NEW: aiT for TI TMS320F28386D/4D/8D

- NEW: aiT for ATSAME51J18/19/20A

- NEW: aiT for TMS570LC4357 rev B

- Improved Project/Workspace Diff-Viewer, Sections View, and Symbols View

- Enhanced analysis setup capabilities enable users to create new analysis projects more efficiently

 Astrée, RuleChecker

======================

- NEW: Delta analysis displays summary of differences between project revisions by tables and charts, and classifies alarms as new/old.

- NEW: Astrée supports sound analysis of bounded recursions

- Enhanced safety manual by DO-356A and ISO 21434 verification goal coverage

- Enhanced VS-Code plugin (LSP server) by "single translation unit" mode, enabling faster rule checking

- Improved rule coverage of CERT C/C++ and CWE

 CompCert

============

- NEW: CompCert for TriCore (1.6.x)

- Improved optimizations for arithmetic runtime library functions

- Generation of position-independent executables (PIE) and position-independent code (PIC) for AArch64, RISC-V and x86-64

 Plugins

=========

- AbsInt toolbox for TargetLink supports "diff" mode as default alarm comment mode.

A complete list of all new features and improvements can be found here.

You may watch a demonstration of selected new features on the AbsInt YouTube Channel.