Notes de publication

aiT, StackAnalyzer, TimingProfiler, ValueAnalyzer, TimeWeaver

Release 21.04

  • Reduced memory consumption and faster performance
  • Improved AIS2 annotations, new expressions and functors
  • Last release to support Windows 7
  • WCET analysis for MCF5307 and more AURIX derivates
  • Stack analysis and timing profiling for Nios II
  • Additional and extended Qualification Support Kits
  • 100+ other improvements and new features

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

Release 19.10

  • Faster performance across the board
  • WCET analysis for TC3xx
  • Stack analysis for RISC-V

Astrée

Release 21.04

  • Significant precision and performance improvements
  • Automatic import of preprocessor configuration from JSON
  • Last release to support Windows 7
  • Improved C++ runtime stub library
  • Improved contrast in dark mode
  • 50+ other improvements and new features

Release 20.10

  • Run-time error analysis for C++ and mixed C/C++ code bases
  • Extended Qualification Support Kits

Release 20.04

  • Improved performance and precision
  • New options
  • Extended Qualification Support Kits

Release 19.10

  • Streamlined messages
  • Concurrent execution in phases

RuleChecker

Release 21.04

Release 20.10

  • Support for SEI CERT C++
  • Support for more AUTOSAR rules
  • Extended QSKs

Release 20.04

  • Support for MISRA-C:2012 Amendment 2
  • Plugin for ARM Keil µVision
  • Support for more AUTOSAR rules

Release 19.10

  • MISRA-C:2012 Ed. 3 incorporated
  • Support for additional CWE rules
  • Improved metrics and additional diagnostics

CompCert

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

Release 19.10

  • If-conversion optimization
  • Improved built-in functions
  • New diagnostics