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
- TLS-encrypted network connections between the tools and the License Manager
- Faster and more precise value analysis
- Improved iterative decoding
- TimeWeaver for V850/RH850
- StackAnalyzer and TimingProfiler for generic TMS320F28x
- Support for the Microtec M68k compiler
- Support for the Wayland windowing system
- Additional and extended Qualification Support Kits
- Analysis of dynamically linked ELF files
- Improved switch table decoding
- Timing and stack analysis for RL78
- Improved performance and precision
- Timing and stack analysis for AURIX TC33x, 35x, 36x
- Support for Lauterbach Trace32 BRANCHFLOW
- Introducing TraceVisualizer
- Support for TargetLink 5.2
- QSLCD reports now included in QSKs
Astrée and RuleChecker
- TLS-encrypted connections between the analysis server, clients, and the License Manager
- Support for external user authentication via OIDC or OAuth 2.0
- Rule checks for MISRA C:2023
- Generalized abstract ARINC 653 OS stubs and support for PikeOS personality
- Enhanced call graphs
- Additional tooltips for value ranges of all sub-expressions
- Diff-based comment mechanism
- Improved and extended Qualification Support Kits
- Support for C++20 and MISRA C:2012 Amendment 3
- Support for TargetLink 2022-B
- Updated and improved ARINC 653 stub library
- Source-component tracking
- Taint flow visualization
- Rule checks for MISRA C++:202x-DRAFT
- Revamped GUI
- Extended coverage for CWE, CERT C/C++, AUTOSAR, and MISRA C++
- Support for TargetLink 5.2
CompCert
- Improved common subexpression elimination for conditional operators
- Improved value analysis for constant propagation
- Removed limit on the number of spilling rounds
- Improved Valex QSK API
- Support for Duff’s Device
- Support for Unicode character constants and string literals
- Improved instruction selection and register allocation for ARM/Thumb
- Support for C11
_Generic
- Improved if-conversion optimization
- Support for mergeable string and literal sections
- Formally verified handling of bitfields in structs and unions
- Support for producing Csyntax abstract syntax