Notes de publication
aiT, StackAnalyzer, TimingProfiler, ValueAnalyzer, TimeWeaver
- Faster analyses and reduced memory consumption
- Support for DWARF debug information for Rust
- Improved ORTI support
- Analysis dependency graphs
- Improved license management
- aiT for 3rd GEN AURIX 499
- TimingProfiler for generic TCv1.8
- Additional and optimized Qualification Support Kits
- TLS-encrypted network connections
- Timing and stack analysis for generic C28x
- TimeWeaver for V850/RH850
- Analysis of dynamically linked ELF files
- Improved switch table decoding
- Timing and stack analysis for RL78
- Improved performance and precision
- Timing and stack analysis for AURIX TC33x, 35x, 36x
- Support for Lauterbach Trace32 BRANCHFLOW
Astrée et RuleChecker
- Improved precision
- Rule checks for MISRA C++:2023
- Taint analysis for C++
- New options and directives
- Support for TargetLink 23.1
- Improved and extended Qualification Support Kits
- TLS encryption and OpenID authentication
- Rule checks for MISRA C:2023
- Diff-based comments
- Support for PikeOS personalities
- Support for C++20 and MISRA C:2012 Amendment 3
- Support for TargetLink 2022-B
- Updated and improved ARINC 653 stub library
- Source-component tracking
- Taint flow visualization
- Rule checks for MISRA C++:202x-DRAFT
CompCert
- Improved function prologue and epilogue code
- CFI directives for AArch64 and RISC-V
- Various improvements for ARM
- Improved common subexpression elimination for conditional operators
- Improved constant propagation
- Removed limit on the number of spilling rounds
- Support for Duff’s Device
- Support for Unicode character constants and string literals
- Improved instruction selection and register allocation for ARM/Thumb
- Support for C11
_Generic
- Improved if-conversion optimization
- Support for mergeable string and literal sections
