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

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

Релиз 21.04

  • Анализ времени выполнения для MCF5307
  • Анализ стека для Nios II
  • Дополнительные и улучшенные Пакеты Поддержки Квалификации
  • Последний релиз, официально поддерживающий Виндоус 7
  • Свыше ста других улучшений

Релиз 20.10

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

Релиз 20.04

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

Релиз 19.10

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

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

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

КомпСерт

Релиз 21.04

  • Improved ABI compatibility
  • Improved diagnostics
  • Additional and improved built-ins

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