News

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

Product Update: Release 25.04

Optimized decoding Improved graphs, stats, and search All-new widget for trace-based guessing of DLL addresses Improved DWARF handling Improved CSV export Improved character encoding in all editors WCET analysis for TMS320F28377D New GUI for qualification runs 8 additional Qualification Support Kits Generic models now uniformly used by TimingProfiler for all targets Support for RHEL 7 is now deprecated SEE MORE DETAILS HERE