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, write to support@absint.com.
aiT, TimeWeaver, TimingProfiler,
StackAnalyzer, ValueAnalyzer, EnergyAnalyzer
Current release 24.10
- Much smaller workspace files
- Even faster cache and pipeline analysis
- Improved text and graph search
- Easier working with analysis groups
- Improved support for Rust enum types
- Stack and timing analysis for AURIX 212 and 222
- 20+ target-specific improvements
- 6 additional Qualification Support Kits
Release 24.04
- Support for DWARF for Rust
- Improved ORTI support
- Analysis dependency graphs
- Stack and timing analysis for AURIX 4x
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
Astrée and RuleChecker
Current release 24.10
- Collaborative reviews of analysis findings
- New graphs for thread activation, signal interference, component interference, and cybersecurity attacks
- Improved precision
- Faster analyses thanks to incremental preprocessing
- Export of SARIF reports
- Updated Jenkins plugin
- Support for TargetLink on Linux
- Improved and extended Qualification Support Kits
Release 24.04
- Rule checks for MISRA C++:2023
- Taint analysis for C++
- Quick HUD
- Support for TargetLink 23.1
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
CompCert
Current release 24.10
- Improved value analysis
- Improved
if-conversion heuristic - New options
- Various improvements for ARM and PowerPC
- New Valex configuration
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