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

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

Релиз 20.04

Релиз 19.10

  • Значительно ускоренные анализы при меньшей трате ресурсов
  • Анализ стека для RISC-V
  • WCET-анализ для TC3xx

Релиз 19.04

  • Value analysis for all entry points at once
  • Full project search
  • Поддержка dsPIC33E и MCS251

Релиз 18.10

  • New AIS2 functors
  • Поддержка DWARFv5 и LLVM/Clang
  • WCET-анализ для Cortex-M0

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

Релиз 19.10

  • Поддержка дополнительных правил CWE
  • Улучшенная поддержка AUTOSAR C++
  • Дополнительные метрики
  • Расширенные Пакеты Поддержки Квалификации
  • Свыше ста других улучшений

Релиз 19.04

  • Поддержка AUTOSAR C++
  • Повышенная точность
  • Дополнительные метрики

Релиз 18.10

  • New Eclipse plugin
  • Identifier search on source files
  • Поддержка свыше 30 дополнительных правил MISRA C++

Релиз 18.04

  • Поддержка C11
  • Плавающие лицензии
  • РулЧекер для C++

КомпСерт

Релиз 20.04

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

Релиз 19.10

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

Релиз 19.04

  • Improved attribute handling
  • Improved scoping

Релиз 18.10

  • Better handling of _Alignof/_Alignas
  • Valex check for symbol placement
  • New diagnostics