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, 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