Notes de publication
aiT, TimeWeaver, TimingProfiler,
StackAnalyzer, ValueAnalyzer, EnergyAnalyzer
- 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
- Much smaller workspace files
- Easier working with analysis groups
- Stack and timing analysis for AURIX 212 & 222
- Support for DWARF for Rust
- Improved ORTI support
- Analysis dependency graphs
- Stack and timing analysis for AURIX 4x
- TLS-encrypted network connections
- Timing and stack analysis for generic C28x
- TimeWeaver for V850/RH850
Astrée & RuleChecker
- 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
- Collaborative reviews
- Improved precision
- New graphs
- Export of SARIF reports
- Rule checks for MISRA C++:2023
- Taint analysis for C++
- Quick HUD
- Support for TargetLink 23.1
- TLS encryption and OpenID authentication
- Rule checks for MISRA C:2023
- Diff-based comments
- Support for PikeOS personalities
CompCert
- 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
- Improved value analysis
- Improved
if
-conversion heuristic
- New options
- Various improvements for ARM and PowerPC
- 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