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

Release 21.04

  • Reduced memory consumption and improved performance
  • Improved AIS2 annotations, new expressions and functors
  • Last release to support Windows 7
  • WCET analysis for MCF5307 and more AURIX derivates
  • Stack analysis and timing profiling for Nios II
  • Additional and extended Qualification Support Kits
  • 100+ other improvements and new features

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

Release 19.10

  • Faster performance across the board
  • WCET analysis for TC3xx
  • Stack analysis for RISC-V

Astrée

Release 21.04

  • Significant precision and performance improvements
  • Automatic import of preprocessor configuration from JSON
  • Last release to support Windows 7
  • Improved C++ runtime stub library
  • Improved contrast in dark mode
  • 50+ other improvements and new features

Release 20.10

  • Run-time error analysis for C++ and mixed C/C++ code bases
  • Extended Qualification Support Kits

Release 20.04

  • Improved performance and precision
  • New options
  • Extended Qualification Support Kits

Release 19.10

  • Streamlined messages
  • Concurrent execution in phases

RuleChecker

Release 21.04

Release 20.10

  • Support for SEI CERT C++
  • Support for more AUTOSAR rules
  • Extended QSKs

Release 20.04

  • Support for MISRA-C:2012 Amendment 2
  • Plugin for ARM Keil µVision
  • Support for more AUTOSAR rules

Release 19.10

  • MISRA-C:2012 Ed. 3 incorporated
  • Support for additional CWE rules
  • Improved metrics and additional diagnostics

CompCert

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

Release 19.10

  • If-conversion optimization
  • Improved built-in functions
  • New diagnostics