Notes de publication

aiT, TimeWeaver, TimingProfiler,
StackAnalyzer, ValueAnalyzer, EnergyAnalyzer

Release 24.10

  • Much smaller workspace files
  • Even faster cache and pipeline analysis
  • Improved support for Rust enum types
  • Improved Statistics views
  • Improved text and graph search
  • Stack and timing analysis for AURIX 212 and 222
  • 20+ target-specific improvements
  • 6 additional Qualification Support Kits

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

Release 23.04

  • Analysis of dynamically linked ELF files
  • Improved switch table decoding
  • Timing and stack analysis for RL78

22.10

22.04

21.10

21.04

20.10

20.04

→

Astrée and RuleChecker

Release 24.10

  • Collaborative reviews of analysis findings
  • New graphs for thread activation, signal interference, component interference, and cybersecurity attacks
  • Improved precision
  • Faster analyses thanks to incremental preprocessing
  • Export of SARIF reports
  • Updated Jenkins plugin
  • Support for TargetLink on Linux
  • Improved and extended Qualification Support Kits

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

Release 23.04

  • Support for C++20 and MISRA C:2012 Amendment 3
  • Support for TargetLink 2022-B
  • Updated and improved ARINC 653 stub library

22.10

22.04

21.10

21.04

20.10

20.04

→

CompCert

Release 24.10

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

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

Release 23.04

  • Support for Duff’s Device
  • Support for Unicode character constants and string literals
  • Improved instruction selection and register allocation for ARM/Thumb

22.10

22.04

21.10

21.04

20.10

20.04

→