Notes de publication

aiT, TimeWeaver, TimingProfiler,
StackAnalyzer, ValueAnalyzer, EnergyAnalyzer

Release 25.04

  • Optimized decoding
  • Improved graphs, stats, and search
  • All-new widget for trace-based guessing of DLL addresses
  • Improved DWARF handling
  • Improved CSV export
  • Improved character encoding in all editors
  • WCET analysis for TMS320F28377D
  • New GUI for qualification runs
  • 8 additional Qualification Support Kits
  • Generic models now uniformly used by TimingProfiler for all targets
  • Support for RHEL 7 is now deprecated

Release 24.10

  • Much smaller workspace files
  • Easier working with analysis groups
  • Stack and timing analysis for AURIX 212 & 222

Release 24.04

  • Support for DWARF for Rust
  • Improved ORTI support
  • Analysis dependency graphs
  • Stack and timing analysis for AURIX 4x

Release 23.10

  • TLS-encrypted network connections
  • Timing and stack analysis for generic C28x
  • TimeWeaver for V850/RH850

Astrée & RuleChecker

Release 25.04

  • Support for C++23
  • Support for MISRA C:2025
  • Support for more CWE rules
  • Improved precision
  • Dynamic loop unrolling
  • Various GUI improvements
  • Support for TargetLink 24.1
  • Support for OAuth2-based authorization
  • LSP support for IDE integration
  • Improved and extended QSKs with a new GUI
  • Support for RHEL 7 is now deprecated

Release 24.10

  • Collaborative reviews
  • Improved precision
  • New graphs
  • Export of SARIF reports

Release 24.04

  • Rule checks for MISRA C++:2023
  • Taint analysis for C++
  • Quick HUD
  • Support for TargetLink 23.1

Release 23.10

  • TLS encryption and OpenID authentication
  • Rule checks for MISRA C:2023
  • Diff-based comments
  • Support for PikeOS personalities

CompCert

Release 25.04

  • Improved code generation of 64-bit arithmetic for 32-bit backends
  • Improved dead-code elimination
  • Improved value analysis
  • Basic support for _Float16
  • Improved diagnostics
  • New command line options for ARM
  • Valex improvements

Release 24.10

  • Improved value analysis
  • Improved if-conversion heuristic
  • New options
  • Various improvements for ARM and PowerPC

Release 24.04

  • Improved function prologue and epilogue code
  • CFI directives for AArch64 and RISC-V
  • Various improvements for ARM

Release 23.10

  • Improved common subexpression elimination for conditional operators
  • Improved constant propagation
  • Removed limit on the number of spilling rounds