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

Release 17.04

Release 16.10

Release 16.04

Astrée

Release 17.10

Release 17.04

  • Standalone RuleChecker
  • Improved performance and
    reduced memory consumption

Release 16.10

Release 16.04

RuleChecker

Release 17.10

  • Improved support for 30+ MISRA rules
  • Support for CWE guidelines
  • Style rules for naming identifiers
  • Re-categorizations of MISRA rules
  • Flags for automatically-generated code
  • 226 new QSK test cases

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

Release 16.04

  • Summary report
  • Simplified configuration
  • New frontend

CompCert

Release 17.10

  • New backend for hybrid 64-bit/32-bit PowerPC code
  • Improved code generation for ARM and PowerPC
  • New generic compiler optimizations
  • Qualification Support Kit 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

Release 16.04

  • New options for GCC compatibility
  • More built-in functions
  • Various fixes