Notes de publication

aiT, StackAnalyzer, TimingProfiler, ValueAnalyzer, TimeWeaver

Release 20.04

  • Support for desktop themes (dark mode)
  • Support for DDC-I SCORE and Renesas CS+
  • else (if) AIS2 annotations
  • Improved TimeWeaver
  • Additional and extended Qualification Support Kits
  • 100+ other improvements and new features

Release 19.10

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

Release 19.04

  • Value analysis for all entry points at once
  • Full project search
  • Support for dsPIC33E and MCS251

Release 18.10

  • New AIS2 functors
  • Support for DWARFv5 and LLVM/Clang
  • WCET analysis for Cortex-M0

Astrée

Release 20.04

Release 19.10

  • Streamlined messages
  • Concurrent execution in phases

Release 19.04

  • Spectre vulnerability detection
  • Taint analysis
  • Closed beta: run-time error analysis for C++ code

Release 18.10

  • New Eclipse plugin
  • Reduced memory consumption
  • Improved commenting on and categorization of alarms

RuleChecker

Release 20.04

Release 19.10

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

Release 19.04

  • AUTOSAR C++ support
  • Support for more SEI CERT rules
  • Improved precision of numerous checks

Release 18.10

  • New Eclipse plugin
  • Identifier search on source files
  • Support for 30+ more MISRA C++ rules

CompCert

Release 20.04

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

Release 19.10

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

Release 19.04

  • Improved attribute handling
  • Improved scoping
  • Improved DWARF handling

Release 18.10

  • Better handling of _Alignof/_Alignas
  • Valex check for symbol placement
  • New diagnostics