Notes de publication
aiT, StackAnalyzer, TimingProfiler, ValueAnalyzer, TimeWeaver
- New TraceVisualizer analysis type
- Improved resolving of C++ virtual member function calls
- Revamped user manual and all-new application notes
- Support for TargetLink 5.2
- QSKs now come with the QSLCD report included
- Type Domain for value analysis
- Improved graphs and statistics
- Support for MIPS32
- 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
Astrée et RuleChecker
- Revamped GUI with improved usability
- New views for C++ classes, class templates and their relationships
- Enhanced rule coverage for CWE, CERT C/C++, AUTOSAR, and MISRA C++
- Support for TargetLink 5.2
- Updated and extended user manual
- Extended Qualification Support Kits
- New call and control-flow graphs
- Weighted findings
- Support for the Clang Static Analyzer
- 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
CompCert
- Formally verified handling of bitfields in structs and unions
- Expanded built-in functions
- Support for producing Csyntax abstract syntax instead of Clight abstract syntax
- Support for 32-bit PowerPC VLE
- Support for non-integer bitfields
- Extended inline assembly
- Improved ABI compatibility
- Improved diagnostics
- Additional and improved built-ins
- New built-in functions
- Improved diagnostics
- Support for C11
_Static_assert
