Notes de publication

aiT, StackAnalyzer, TimingProfiler, ValueAnalyzer, TimeWeaver

Release 18.10

  • Improved performance
  • Support for DWARFv5
  • New AIS2 functors
  • WCET analysis for ARM Cortex-M0
  • Support for LLVM/Clang
  • Additional QSK test cases

Release 18.04

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

Release 17.10

Release 17.04

Astrée

Release 18.10

  • New Eclipse plugin
  • Faster analyses and reduced memory consumption
  • Improved commenting and categorization of rule violation alarms
  • Improved interpolation domain
  • 100+ other improvements and new features

Release 18.04

  • Support for C11
  • CompCert configurations
  • Floating licenses

Release 17.10

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

Release 17.04

  • Standalone RuleChecker
  • Improved performance and
    reduced memory consumption

RuleChecker

Release 18.10

  • New Eclipse plugin
  • Improved commenting and categorization of rule violation alarms
  • Support for 30+ more MISRA C++ rules
  • Improved support for MITRE CWE and SEI CERT
  • 20+ new QSK test cases

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

Release 17.04

  • First standalone version
  • Support for SEI CERT C rules
  • Improved support for 50+ MISRA rules

CompCert

Release 18.10

  • Improved handling of _Alignof and _Alignas
  • New configurable check for correct placement of symbols in sections in Valex
  • New diagnostics for non-robust language features

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

Release 17.04

  • Full support for C11 anonymous compound types
  • Checks for unused variables and parameters