25.10 Release of AbsInt Tools for Safety-Critical Software Development

 All tools

===========

- 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