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 20.10

  • Combined pipeline and path analysis for improved performance
  • Faster stack analysis on highly recursive programs
  • Automatic resolution of C++ virtual member function calls on binary level
  • Improved Disassembly, Information, and Graph views
  • Improved workspaces
  • WCET analysis for MPC5777C
  • Additional and extended Qualification Support Kits
  • 100+ other improvements and new features

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

Release 19.04

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

Astrée

Release 20.10

  • Run-time error analysis for C++ and mixed C/C++ code bases
  • Faster performance and higher precision
  • Fully automatic integration analysis for OSEK/AUTOSAR projects
  • Extended Qualification Support Kits
  • 50+ other improvements and new features

Release 20.04

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

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

RuleChecker

Release 20.10

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

Release 19.04

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

CompCert

Release 20.10

  • New built-in functions for various targets
  • 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

Release 19.04

  • Improved attribute handling
  • Improved scoping
  • Improved DWARF handling