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 18.10

  • Improved performance
  • Support for DWARFv5
  • New AIS2 functors
  • WCET analysis for ARM Cortex-M0
  • Support for LLVM/Clang
  • Additional QSK test cases

Release 18.04

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

Release 17.10

Release 17.04

Astrée

Release 18.10

  • New Eclipse plugin
  • Faster analyses and reduced memory consumption
  • Improved commenting and categorization of rule violation alarms
  • Improved interpolation domain
  • 100+ other improvements and new features

Release 18.04

  • Support for C11
  • CompCert configurations
  • Floating licenses

Release 17.10

  • New comment mode
  • Much faster analyses
  • Support for GCC-extended assembler

Release 17.04

  • Standalone RuleChecker
  • Improved performance and
    reduced memory consumption

RuleChecker

Release 18.10

  • New Eclipse plugin
  • Improved commenting and categorization of rule violation alarms
  • Identifier search on original source files
  • Support for 30+ more MISRA C++ rules
  • Improved support for MITRE CWE and SEI CERT
  • 20+ new QSK test cases

Release 18.04

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

Release 17.10

  • Support for CWE guidelines
  • Re-categorizations of MISRA rules
  • Style rules for naming identifiers

Release 17.04

  • First standalone version
  • Support for SEI CERT C rules
  • Improved support for 50+ MISRA rules

CompCert

Release 18.10

  • Improved handling of _Alignof and _Alignas
  • New configurable check for correct placement of symbols in sections in Valex
  • New diagnostics for non-robust language features

Release 18.04

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

Release 17.10

  • New backend for hybrid 64-bit/32-bit PowerPC code
  • New generic compiler optimizations
  • QSK for Valex

Release 17.04

  • Full support for C11 anonymous compound types
  • Checks for unused variables and parameters