Notes de publication
aiT, StackAnalyzer, TimingProfiler, ValueAnalyzer, TimeWeaver
- Support for desktop themes (dark mode)
- Support for DDC-I SCORE and Renesas CS+
else (if) AIS2 annotations- Improved TimeWeaver
- Additional and extended Qualification Support Kits
- 100+ other improvements and new features
- Faster performance across the board
- WCET analysis for TC3xx
- Stack analysis for RISC-V
- Value analysis for all entry points at once
- Full project search
- Support for dsPIC33E and MCS251
- New AIS2 functors
- Support for DWARFv5 and LLVM/Clang
- WCET analysis for Cortex-M0
Astrée
- Streamlined messages
- Concurrent execution in phases
- Spectre vulnerability detection
- Taint analysis
- Closed beta: run-time error analysis for C++ code
- New Eclipse plugin
- Reduced memory consumption
- Improved commenting on and categorization of alarms
RuleChecker
- MISRA-C:2012 Ed. 3 incorporated
- Support for additional CWE rules
- Improved metrics and additional diagnostics
- AUTOSAR C++ support
- Support for more SEI CERT rules
- Improved precision of numerous checks
- New Eclipse plugin
- Identifier search on source files
- Support for 30+ more MISRA C++ rules
CompCert
- New architecture AArch64
- Improved error messages
- Improved DWARF support
- If-conversion optimization
- Improved built-in functions
- New diagnostics
- Improved attribute handling
- Improved scoping
- Improved DWARF handling
- Better handling of
_Alignof/_Alignas
- Valex check for symbol placement
- New diagnostics
