Release notes

Our tools are being actively supported and constantly improved. Major new releases are pub­lished 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 23.10

  • 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

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

Release 22.04

  • Introducing TraceVisualizer
  • Support for TargetLink 5.2
  • QSLCD reports now included in QSKs

Astrée and RuleChecker

Current release 23.10

  • 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

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

Release 22.04

  • Revamped GUI
  • Extended coverage for CWE, CERT C/C++, AUTOSAR, and MISRA C++
  • Support for TargetLink 5.2

CompCert

Current release 23.10

  • 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

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

Release 22.04

  • Formally verified handling of bitfields in structs and unions
  • Support for producing Csyntax abstract syntax