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 are obtainable on request.

Every license purchased 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 20.04

  • Support for DDC-I SCORE and Renesas CS+
  • else (if) AIS2 annotations
  • Improved TimeWeaver
  • Support for desktop themes (dark mode)
  • Additional and extended Qualification Support Kits
  • 100+ other improvements and new features

Release 19.10

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

Release 19.04

  • Value analysis for all entry points at once
  • Full project search
  • Support for dsPIC33E and MCS251

Release 18.10

  • New AIS2 functors
  • Support for DWARFv5 and LLVM/Clang
  • WCET analysis for Cortex-M0

Astrée

Release 20.04

Release 19.10

  • Streamlined messages
  • Concurrent execution in phases

Release 19.04

  • Spectre vulnerability detection
  • Taint analysis
  • Closed beta: run-time error analysis for C++ code

Release 18.10

  • New Eclipse plugin
  • Reduced memory consumption
  • Improved commenting on and categorization of alarms

RuleChecker

Release 20.04

Release 19.10

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

Release 19.04

  • AUTOSAR C++ support
  • Support for more SEI CERT rules
  • Improved precision of numerous checks

Release 18.10

  • New Eclipse plugin
  • Identifier search on source files
  • Support for 30+ more MISRA C++ rules

CompCert

Release 20.04

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

Release 19.10

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

Release 19.04

  • Improved attribute handling
  • Improved scoping
  • Improved DWARF handling

Release 18.10

  • Better handling of _Alignof/_Alignas
  • Valex check for symbol placement
  • New diagnostics