Заметки о выпусках

айТи, СтекАналайзер, ТаймингПрофайлер

Релиз 21.10

  • Various improvements to graphs and statistics
  • New Type Domain in value analysis
  • Improved and additional annotations
  • Поддержка TargetLink 5.1
  • Анализ стека для MIPS32
  • Дополнительные и улучшенные Пакеты Поддержки Квалификации

Релиз 21.04

  • Анализ времени выполнения для MCF5307
  • Анализ стека для Nios II
  • Последний релиз, поддерживающий Виндоус 7

Релиз 20.10

  • Комбинированный анализ конвейера и анализ пути
  • Анализ времени выполнения для MPC5777C

Релиз 20.04

  • Поддержка DDC-I SCORE и Renesas CS+
  • Темный режим

Астрé и РулЧекер

Релиз 21.10

    • 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

Релиз 21.04

  • Improved performance and precision
  • Support for JSON preprocessor configurations
  • Last release to support Windows 7

Релиз 20.10

  • Run-time error analysis for C++ and mixed C/C++ code bases
  • Support for SEI CERT C++
  • Improved ARMXL reader

Релиз 20.04

  • Plugin for ARM Keil µVision
  • Support for MISRA-C:2012 Amendment 2
  • New options

КомпСерт

Релиз 22.04

  • Formally verified handling of bitfields in structs and unions
  • Expanded built-in functions
  • Support for producing Csyntax abstract syntax instead of Clight abstract syntax

Релиз 20.10

  • New built-in functions
  • Improved diagnostics
  • Support for C11 _Static_assert

Релиз 20.04

  • Поддержка AArch64
  • Улучшенная поддержка отладочной информации DWARF

Релиз 19.10

  • If-conversion optimization
  • Improved built-in functions
  • New diagnostics