Notes de publication
aiT, StackAnalyzer, TimingProfiler, ValueAnalyzer, TimeWeaver
Astrée
- New comment mode
- Much faster analyses
- Support for GCC-extended assembler
- Standalone RuleChecker
- Improved performance and
reduced memory consumption
RuleChecker
- Analysis of C++ code
- Improved support for 30+ MISRA rules
- Extended support for MITRE CWE
- Floating licenses
- Support for macOS
- 30+ new QSK test cases
- Support for CWE guidelines
- Re-categorizations of MISRA rules
- Style rules for naming identifiers
- First standalone version
- Support for SEI CERT C rules
- Improved support for 50+ MISRA rules
- Support for Amendment 1
to MISRA-C:2012
- Changes to type compatibility rules
CompCert
- New builtin for integration with a³
- JSON export of ARM assembly
- Valex for ARM
- Improved diagnostics
- New backend for hybrid 64-bit/32-bit PowerPC code
- New generic compiler optimizations
- QSK for Valex
- Full support for C11 anonymous compound types
- Checks for unused variables and parameters
- Improved support for K&R, ARM and PowerPC
- Compatibility with coq v8.5pl2
