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.04

Release 17.10

Release 17.04

Release 16.10

Astrée

Release 18.04

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

Release 16.10

RuleChecker

Release 18.04

  • Analysis of C++ code
  • Improved support for 30+ MISRA rules
  • Extended support for MITRE CWE
  • Floating licenses
  • Support for macOS
  • 30+ new QSK test cases

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

Release 16.10

  • Support for Amendment 1
    to MISRA-C:2012
  • Changes to type compatibility rules

CompCert

Release 18.04

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

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

Release 16.10

  • Improved support for K&R, ARM and PowerPC
  • Compatibility with coq v8.5pl2