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 need to extend or renew support for any tool, contact support@absint.com.

aiT, StackAnalyzer, TimingProfiler, ValueAnalyzer, TimeWeaver

Current release 21.10

  • Various improvements to graphs and statistics
  • New Type Domain in value analysis
  • Improved and additional annotations
  • Support for larger binaries under Windows
  • StackAnalyzer, TimingProfiler, and ValueAnalyzer for MIPS32
  • Support for TargetLink 5.1
  • Additional and extended Qualification Support Kits

Release 21.04

  • WCET analysis for MCF5307 and more AURIX derivates
  • Stack analysis for Nios II
  • Last release to support Windows 7

Release 20.10

  • Combined pipeline and path analysis
  • Improved GUI and workspaces
  • WCET analysis for MPC5777C

Release 20.04

  • Support for Renesas CS+ and DDC-I SCORE
  • else (if) AIS2 annotations
  • Dark mode support

Astrée and RuleChecker

Current release 21.10

  • New call and control flow graphs
  • Weighted findings
  • Improved precision of multiple abstract domains
  • Support for rule checks provided by the Clang Static Analyzer
  • Support for more AUTOSAR, SEI CERT C++, and MISRA C++ rules
  • Standalone RuleChecker now distributed exclusively by QA Systems
  • Improved and extended Qualification Support Kits

Release 21.04

  • Improved performance and precision
  • Support for JSON preprocessor configurations
  • Last release to support Windows 7

Release 20.10

  • Run-time error analysis for C++ and mixed C/C++ code bases
  • Support for SEI CERT C++
  • Improved ARMXL reader

Release 20.04

  • Plugin for ARM Keil µVision
  • Support for MISRA-C:2012 Amendment 2
  • New options

CompCert

Current release 21.10

  • Support for 32-bit PowerPC VLE with the NXP-GCC toolchain
  • Support for architecture-dependent floating-point register constraints for inputs and outputs
  • Support for bitfields of types other than int
  • Extended inline assembly for several architectures

Release 21.04

  • Improved ABI compatibility
  • Improved diagnostics
  • Additional and improved built-ins

Release 20.10

  • New built-in functions
  • Improved diagnostics
  • Support for C11 _Static_assert

Release 20.04

  • New architecture AArch64
  • Improved error messages
  • Improved DWARF support