Notes de publication
aiT, StackAnalyzer, TimingProfiler, ValueAnalyzer, TimeWeaver
- Reduced memory consumption and faster performance
- Improved AIS2 annotations, new expressions and functors
- Last release to support Windows 7
- WCET analysis for MCF5307 and more AURIX derivates
- Stack analysis and timing profiling for Nios II
- Additional and extended Qualification Support Kits
- 100+ other improvements and new features
- Combined pipeline and path analysis
- Improved GUI and workspaces
- WCET analysis for MPC5777C
- Support for Renesas CS+ and DDC-I SCORE
else (if) AIS2 annotations- Dark mode support
- Faster performance across the board
- WCET analysis for TC3xx
- Stack analysis for RISC-V
Astrée
- Significant precision and performance improvements
- Automatic import of preprocessor configuration from JSON
- Last release to support Windows 7
- Improved C++ runtime stub library
- Improved contrast in dark mode
- 50+ other improvements and new features
- Run-time error analysis for C++ and mixed C/C++ code bases
- Extended Qualification Support Kits
- Improved performance and precision
- New options
- Extended Qualification Support Kits
- Streamlined messages
- Concurrent execution in phases
RuleChecker
- Support for SEI CERT C++
- Support for more AUTOSAR rules
- Extended QSKs
- Support for MISRA-C:2012 Amendment 2
- Plugin for ARM Keil µVision
- Support for more AUTOSAR rules
- MISRA-C:2012 Ed. 3 incorporated
- Support for additional CWE rules
- Improved metrics and additional diagnostics
CompCert
- Improved ABI compatibility
- Improved diagnostics
- Additional and improved built-ins
- New built-in functions
- Improved diagnostics
- Support for C11
_Static_assert
- New architecture AArch64
- Improved error messages
- Improved DWARF support
- If-conversion optimization
- Improved built-in functions
- New diagnostics
