Notes de publication

aiT, StackAnalyzer, TimingProfiler, ValueAnalyzer, TimeWeaver

Release 21.10

  • Various improvements to graphs and statistics
  • New Type Domain in value analysis
  • Improved and additional annotations
  • Support for larger binaries under Windows
  • StackAnalyzer, TimingProfiler, and ValueAnalyzer for MIPS32
  • Support for TargetLink 5.1
  • Additional and extended Qualification Support Kits

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

Release 20.04

  • Support for Renesas CS+ and DDC-I SCORE
  • else (if) AIS2 annotations
  • Dark mode support

Astrée et RuleChecker

Release 21.10

  • New call and control flow graphs
  • Weighted findings
  • Improved precision of multiple abstract domains
  • Support for rule checks provided by the Clang Static Analyzer
  • Support for more AUTOSAR, SEI CERT C++, and MISRA C++ rules
  • Standalone RuleChecker now distributed exclusively by QA Systems
  • Improved and extended Qualification Support Kits

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

Release 20.04

  • Plugin for ARM Keil µVision
  • Support for MISRA-C:2012 Amendment 2
  • New options

CompCert

Release 21.10

  • Support for 32-bit PowerPC VLE with the NXP-GCC toolchain
  • Support for architecture-dependent floating-point register constraints for inputs and outputs
  • Support for bitfields of types other than int
  • Extended inline assembly for several architectures

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

Release 20.04

  • New architecture AArch64
  • Improved error messages
  • Improved DWARF support