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

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

Релиз 18.04

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

Релиз 17.10

Релиз 17.04

Релиз 16.10

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

Релиз 18.04

  • Поддержка C11
  • Плавающие лицензии
  • Конфигурация для КомпСерта
  • РулЧекер для C++
  • Расширенные Пакеты Поддержки Квалификации
  • Свыше ста других улучшений

Релиз 17.10

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

Релиз 17.04

  • Самостоятельный РулЧекер
  • Улучшенный пользовательский интерфейс

Релиз 16.10

КомпСерт

Релиз 18.10

  • Improved handling of _Alignof and _Alignas
  • New configurable check for correct placement of symbols in sections in Valex
  • New diagnostics for non-robust language features

Релиз 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

Релиз 17.04

  • Full support for C11 anonymous compound types
  • Checks for unused variables and parameters