Notes de publication
aiT, StackAnalyzer, TimingProfiler, ValueAnalyzer, TimeWeaver
- Value analysis for all entry points at once
- Improved and extended license manager
- Full project search
- Support for dsPIC33E and MCS251
- Extended Qualification Support Kits
- 100+ other improvements and new features
- New AIS2 functors
- Support for DWARFv5 and LLVM/Clang
- WCET analysis for Cortex-M0
- Improved stack and value analysis
- Value partitioning
- Support for S12Z and 64-bit ARM
Astrée
- New Eclipse plugin
- Reduced memory consumption
- Improved commenting on and categorization of alarms
- Support for C11
- CompCert configurations
- Floating licenses
- New comment mode
- Much faster analyses
- Support for GCC-extended assembler
RuleChecker
- AUTOSAR C++ support
- Support for more SEI CERT rules
- Improved precision of numerous checks
- Improved and additional placeholders
- Additional metrics
- Extended Qualification Support Kits
- New Eclipse plugin
- Identifier search on source files
- Support for 30+ more MISRA C++ rules
- Analysis of C++ code
- Support for macOS
- Floating licenses
- Support for CWE guidelines
- Re-categorizations of MISRA rules
- Style rules for naming identifiers
CompCert
- Improved attribute handling
- Improved scoping
- Improved DWARF handling
- Better handling of
_Alignof/_Alignas
- Valex check for symbol placement
- New diagnostics
- New builtin for integration with a³
- JSON export of ARM assembly
- Valex for ARM
- New backend for hybrid 64-bit/32-bit PowerPC code
- New generic compiler optimizations
- QSK for Valex
