Notes de publication

aiT, StackAnalyzer, TimingProfiler, ValueAnalyzer, TimeWeaver

Release 23.10

  • TLS-encrypted network connections between the tools and the License Manager
  • Faster and more precise value analysis
  • Improved iterative decoding
  • TimeWeaver for V850/RH850
  • StackAnalyzer and TimingProfiler for generic TMS320F28x
  • Support for the Microtec M68k compiler
  • Support for the Wayland windowing system
  • Additional and extended Qualification Support Kits

Release 23.04

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

Release 22.10

  • Improved performance and precision
  • Timing and stack analysis for AURIX TC33x, 35x, 36x
  • Support for Lauterbach Trace32 BRANCHFLOW

Release 22.04

  • Introducing TraceVisualizer
  • Support for TargetLink 5.2
  • QSLCD reports now included in QSKs

21.10

21.04

20.10

20.04

19.10

19.04

→

Astrée et RuleChecker

Release 23.10

  • TLS-encrypted connections between servers, clients, and the License Manager
  • Support for external user authentication via OIDC or OAuth 2.0
  • Rule checks for MISRA C:2023
  • Generalized abstract ARINC 653 OS stubs and support for PikeOS personality
  • Enhanced call graphs
  • Tooltips for value ranges of all sub-expressions
  • Diff-based comment mechanism
  • Improved and extended Qualification Support Kits

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

Release 22.10

  • Source-component tracking
  • Taint flow visualization
  • Rule checks for MISRA C++:202x-DRAFT

Release 22.04

  • Revamped GUI
  • Extended coverage for CWE, CERT C/C++, AUTOSAR, and MISRA C++
  • Support for TargetLink 5.2

21.10

21.04

20.10

20.04

19.10

19.04

→

CompCert

Release 23.10

  • Improved common subexpression elimination for conditional operators
  • Improved value analysis for constant propagation
  • Removed limit on the number of spilling rounds
  • Improved Valex QSK API

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

Release 22.10

  • Support for C11 _Generic
  • Improved if-conversion optimization
  • Support for mergeable string and literal sections

Release 22.04

  • Formally verified handling of bitfields in structs and unions
  • Support for producing Csyntax abstract syntax

21.10

21.04

20.10

20.04

19.10

19.04

→