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, please write to support@absint.com.
aiT, TimeWeaver, TimingProfiler,
StackAnalyzer, ValueAnalyzer, EnergyAnalyzer
Current 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
Release 24.10
- Much smaller workspace files
- Easier working with analysis groups
- Stack and timing analysis for AURIX 212 & 222
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
Astrée and RuleChecker
Current release 25.04
- Support for C++23
- Support for MISRA C:2025
- Support for more CWE rules
- Improved precision
- Dynamic loop unrolling
- Various GUI improvements
- Support for TargetLink 24.1
- Support for OAuth2-based authorization
- LSP support for IDE integration
- Plugin for Visual Studio Code
- Improved and extended QSKs with a new GUI
- Support for RHEL 7 is now deprecated
Release 24.10
- Collaborative reviews
- Improved precision
- New graphs
- Export of SARIF reports
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
CompCert
Current release 25.04
- Improved code generation of 64-bit arithmetic for 32-bit backends
- Improved dead-code elimination
- Improved value analysis
- Basic support for
_Float16 - Improved diagnostics
- New command line options for ARM
- Valex improvements
Release 24.10
- Improved value analysis
- Improved
if-conversion heuristic - New options
- Various improvements for ARM and PowerPC
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