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 19.10

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

Release 18.04

  • Improved stack and value analysis
  • Value partitioning
  • Support for S12Z and 64-bit ARM

Astrée

Release 19.10

  • Streamlined messages and improved metrics
  • Faster performance and higher precision
  • Concurrent execution now possible in phases
  • Extended and improved analysis of C++ code
  • Extended AUTOSAR support
  • Extended Qualification Support Kits
  • 50+ other improvements and new features

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

Release 18.04

  • Support for C11
  • CompCert configurations
  • Floating licenses

RuleChecker

Release 19.10

  • MISRA-C:2012 Ed. 3 fully incorporated
  • Support for additional CWE rules
  • More flexible and powerful configurations
  • Improved metrics for C and C++
  • Additional diagnostics
  • Extended Qualification Support Kits
  • 50+ other improvements and new features

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

Release 18.04

  • Analysis of C++ code
  • Support for macOS
  • Floating licenses

CompCert

Release 19.10

  • If-conversion optimization
  • Improved built-in functions
  • New diagnostics
  • Improved constant propagation for 64-bit PowerPCs

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

Release 18.04

  • New builtin for integration with ał
  • JSON export of ARM assembly
  • Valex for ARM