Notes de publication

aiT, StackAnalyzer, TimingProfiler, ValueAnalyzer, TimeWeaver

Release 19.04

  • Value analysis for all entry points at once
  • Improved and extended license manager
  • Full project search
  • Support for dsPIC33E and MCS251
  • Extended Qualification Support Kits
  • 100+ other improvements and new features

Release 18.10

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

Release 18.04

  • Improved stack and value analysis
  • Value partitioning
  • Support for S12Z and 64-bit ARM

Release 17.10

Astrée

Release 19.04

Release 18.10

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

Release 18.04

  • Support for C11
  • CompCert configurations
  • Floating licenses

Release 17.10

  • New comment mode
  • Much faster analyses
  • Support for GCC-extended assembler

RuleChecker

Release 19.04

  • AUTOSAR C++ support
  • Support for more SEI CERT rules
  • Improved precision of numerous checks
  • Improved and additional placeholders
  • Additional metrics
  • Extended Qualification Support Kits

Release 18.10

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

Release 18.04

  • Analysis of C++ code
  • Support for macOS
  • Floating licenses

Release 17.10

  • Support for CWE guidelines
  • Re-categorizations of MISRA rules
  • Style rules for naming identifiers

CompCert

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

Release 18.04

  • New builtin for integration with a
  • JSON export of ARM assembly
  • Valex for ARM

Release 17.10

  • New backend for hybrid 64-bit/32-bit PowerPC code
  • New generic compiler optimizations
  • QSK for Valex