Notes de publication

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 et 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