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

Current release 22.04

  • New TraceVisualizer analysis type
  • Improved resolving of C++ virtual member function calls
  • Revamped user manual and all-new application notes
  • Support for TargetLink 5.2
  • QSKs now come with the QSLCD report included

Release 21.10

  • Type Domain for value analysis
  • Improved graphs and statistics
  • Support for MIPS32

Release 21.04

  • WCET analysis for MCF5307 and more AURIX derivates
  • Stack analysis for Nios II
  • Last release to support Windows 7

Release 20.10

  • Combined pipeline and path analysis
  • Improved GUI and workspaces
  • WCET analysis for MPC5777C

Astrée and RuleChecker

Current release 22.04

  • Revamped GUI with improved usability
  • New views for C++ classes, class templates and their relationships
  • Enhanced rule coverage for CWE, CERT C/C++, AUTOSAR, and MISRA C++
  • Support for TargetLink 5.2
  • Updated and extended user manual
  • Extended Qualification Support Kits

Release 21.10

  • New call and control-flow graphs
  • Weighted findings
  • Support for the Clang Static Analyzer

Release 21.04

  • Improved performance and precision
  • Support for JSON preprocessor configurations
  • Last release to support Windows 7

Release 20.10

  • Run-time error analysis for C++ and mixed C/C++ code bases
  • Support for SEI CERT C++
  • Improved ARMXL reader

CompCert

Current release 22.04

  • Formally verified handling of bitfields in structs and unions
  • Expanded built-in functions
  • Support for producing Csyntax abstract syntax instead of Clight abstract syntax

Release 21.10

  • Support for 32-bit PowerPC VLE
  • Support for non-integer bitfields
  • Extended inline assembly

Release 21.04

  • Improved ABI compatibility
  • Improved diagnostics
  • Additional and improved built-ins

Release 20.10

  • New built-in functions
  • Improved diagnostics
  • Support for C11 _Static_assert