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

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

Релиз 19.04

Релиз 18.10

  • New AIS2 functors
  • Support for DWARFv5 and LLVM/Clang
  • WCET analysis for Cortex-M0

Релиз 18.04

  • Улучшенный анализ стека
  • Поддержка S12Z и 64-разрядных ARM
  • ТаймВивер для ARM и TriCore

Релиз 17.10

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

Релиз 19.04

  • AUTOSAR C++ support
  • Support for more SEI CERT rules
  • Improved precision of numerous checks
  • Improved and additional placeholders
  • Additional metrics
  • Расширенные Пакеты Поддержки Квалификации
  • Свыше ста других улучшений

Релиз 18.10

  • New Eclipse plugin
  • Identifier search on source files
  • Support for 30+ more MISRA C++ rules

Релиз 18.04

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

Релиз 17.10

  • Новый режим коментариев
  • Значительно ускоренные анализы
  • Поддержка ассемблерных вставок GCC

КомпСерт

Релиз 19.04

  • Improved attribute handling
  • Improved scoping
  • Improved DWARF handling

Релиз 18.10

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

Релиз 18.04

  • New builtin for integration with ał
  • JSON export of ARM assembly
  • Valex for ARM

Релиз 17.10

  • New backend for hybrid 64-bit/32-bit PowerPC code
  • New generic compiler optimizations
  • QSK for Valex