Notes de publication
aiT, StackAnalyzer, TimingProfiler, ValueAnalyzer, TimeWeaver
- Various improvements to graphs and statistics
- New Type Domain in value analysis
- Improved and additional annotations
- Support for larger binaries under Windows
- StackAnalyzer, TimingProfiler, and ValueAnalyzer for MIPS32
- Support for TargetLink 5.1
- Additional and extended Qualification Support Kits
- WCET analysis for MCF5307 and more AURIX derivates
- Stack analysis for Nios II
- Last release to support Windows 7
- 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
Astrée et RuleChecker
- New call and control flow graphs
- Weighted findings
- Improved precision of multiple abstract domains
- Support for rule checks provided by the Clang Static Analyzer
- Support for more AUTOSAR, SEI CERT C++, and MISRA C++ rules
- Standalone RuleChecker now distributed exclusively by QA Systems
- Improved and extended Qualification Support Kits
- Improved performance and precision
- Support for JSON preprocessor configurations
- Last release to support Windows 7
- Run-time error analysis for C++ and mixed C/C++ code bases
- Support for SEI CERT C++
- Improved ARMXL reader
- Plugin for ARM Keil µVision
- Support for MISRA-C:2012 Amendment 2
- New options
CompCert
- Support for 32-bit PowerPC VLE with the NXP-GCC toolchain
- Support for architecture-dependent floating-point register constraints for inputs and outputs
- Support for bitfields of types other than int
- Extended inline assembly for several architectures
- 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
