Our tools are being actively supported and constantly improved. Major new releases are published twice a year. Customers with active support receive the updates fully automatically. Intermediate updates can be obtained on request.
Every commercial license includes six months of free updates, so you always get at least one major new release for free. If you wish to extend or renew support for any tool, contact support@absint.com.
aiT, StackAnalyzer, TimingProfiler, ValueAnalyzer, TimeWeaver
Current release 24.04
- Faster analyses and reduced memory consumption
- Support for DWARF debug information for Rust
- Improved ORTI support
- Analysis dependency graphs
- Improved license management
- TimingProfiler for generic TCv1.8
- Preview version of aiT for 3rd GEN AURIX 499
- Additional and optimized Qualification Support Kits
Release 23.10
- TLS-encrypted network connections
- Timing and stack analysis for generic C28x
- TimeWeaver for V850/RH850
Release 23.04
- Analysis of dynamically linked ELF files
- Improved switch table decoding
- Timing and stack analysis for RL78
Release 22.10
- Improved performance and precision
- Timing and stack analysis for AURIX TC33x, 35x, 36x
- Support for Lauterbach Trace32 BRANCHFLOW
Astrée and RuleChecker
Current release 24.04
- Various improvements to analysis precision
- Rule checks for MISRA C++:2023
- Taint analysis for C++
- New options and directives
- Quick HUD for navigation within the current project
- Support for TargetLink 23.1
- Improved and extended Qualification Support Kits
Release 23.10
- TLS encryption and OpenID authentication
- Rule checks for MISRA C:2023
- Diff-based comments
- Support for PikeOS personalities
Release 23.04
- Support for C++20 and MISRA C:2012 Amendment 3
- Support for TargetLink 2022-B
- Updated and improved ARINC 653 stub library
Release 22.10
- Source-component tracking
- Taint flow visualization
- Rule checks for MISRA C++:202x-DRAFT
CompCert
Current release 24.04
- Improved function prologue and epilogue code
- CFI directives for AArch64 and RISC-V
- Various improvements for ARM
Release 23.10
- Improved common subexpression elimination for conditional operators
- Improved constant propagation
- Removed limit on the number of spilling rounds
Release 23.04
- Support for Duff’s Device
- Support for Unicode character constants and string literals
- Improved instruction selection and register allocation for ARM/Thumb
Release 22.10
- Support for C11
_Generic - Improved if-conversion optimization
- Support for mergeable string and literal sections