Заметки о выпусках
айТи,
СтекАналайзер,
ТаймингПрофайлер
- Various improvements to graphs and statistics
- New Type Domain in value analysis
- Improved and additional annotations
- Поддержка TargetLink 5.1
- Анализ стека для MIPS32
- Дополнительные и улучшенные Пакеты Поддержки Квалификации
- Анализ времени выполнения для MCF5307
- Анализ стека для Nios II
- Последний релиз, поддерживающий Виндоус 7
- Комбинированный анализ конвейера и анализ пути
- Анализ времени выполнения для MPC5777C
- Поддержка DDC-I SCORE и Renesas CS+
- Темный режим
Астрé и РулЧекер
- 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
КомпСерт
- Formally verified handling of bitfields in structs and unions
- Expanded built-in functions
- Support for producing Csyntax abstract syntax instead of Clight abstract syntax
- New built-in functions
- Improved diagnostics
- Support for C11
_Static_assert
- Поддержка AArch64
- Улучшенная поддержка
отладочной информации DWARF
- If-conversion optimization
- Improved built-in functions
- New diagnostics
