За статическими анализами — это к нам

Am486

ARM

AURIX

C16x

C28x

C33

ColdFire

dsPIC

ERC32

FR81S

HCS12

i386DX

LEON2

LEON3

LEON4

M68k

MCS251

MCS51

MIPS32

MSP430(x)

Nios II

PowerPC (32-bit)

PowerPC (64-bit)

RH850

RISC-V

RL78

RX

S12Z

ST10

STAR12

SuperH

TriCore

V850

x86 (16-bit)

x86 (32-bit)

x86 (64-bit)

ARC

  • Статический анализ стека
  • Memory safety analysis
  • Available till 2015
  • Get in touch

H8

  • Статический анализ стека
  • Memory safety analysis
  • Available till 2013
  • Пакет поддержки квалификации
  • Get in touch

HC11

  • Статический анализ WCET
  • Статический анализ стека
  • Memory safety analysis
  • Available till 2015
  • Get in touch

Kalray

  • Статический анализ WCET
  • Developed for the EU project ASSUME
  • Available at our discretion
  • Get in touch

M32

  • Статический анализ WCET
  • Статический анализ стека
  • Memory safety analysis
  • Available till 2011
  • Get in touch

MicroBlaze

  • Статический анализ WCET
  • Developed for the EU project CERTAINTY
  • Available at our discretion
  • Get in touch

PCP2

  • Статический анализ WCET
  • Available till 2011
  • Get in touch

Xentium

  • Статический анализ WCET
  • Developed for the EU project ARGO
  • Available at our discretion
  • Get in touch

Поддерживаемые языки программирования

CC++
Выявление всех ошибок времени исполнения Астрé Астрé
Data race analysis Астрé Астрé
Non-interference analysis Астрé Астрé
Taint analysis Астрé Астрé
Signal-flow analysis Астрé Астрé
Анализ потока данных Астрé Астрé
Анализ потока контроля Астрé Астрé
Control-coupling analysis Астрé Астрé
Анализ интерференций Астрé Астрé
Анализы по кибербезопасности Астрé Астрé
Выявление уязвимостей «Spectre» Астрé Астрé
Проверка на соответствие стандарту MISRA Астрé, РулЧекер Астрé, РулЧекер
Проверка по прочим стандартам Астрé, РулЧекер Астрé, РулЧекер
Проверка соответствия вашим собственным правилам Астрé, РулЧекер Астрé, РулЧекер
Вычисление метрик (HIS) Астрé Астрé
Верифицированная компиляция КомпСерт —
Визуализация потока контроля Астрé Астрé
Идентификация мёртвого кода Астрé Астрé
Удаление мёртвого кода КомпСерт —
Постпасс-валидация Валекс —
скомпилированный C скомпилированный C++ скомпилированный Ada скомпилированный PL/I
Статический анализ WCET айТи айТи айТи айТи
Гибридный анализ WCET ТаймВивер ТаймВивер ТаймВивер —
Профайлинг времени выполнения ТаймингПрофайлер ТаймингПрофайлер ТаймингПрофайлер ТаймингПрофайлер
Статический анализ стека СтекАналайзер СтекАналайзер СтекАналайзер СтекАналайзер
Анализ целостности памяти ВельюАналайзер ВельюАналайзер ВельюАналайзер ВельюАналайзер
Анализ энергопотребления ЭнерджиАналайзер ЭнерджиАналайзер ЭнерджиАналайзер —
Визуализация потока контроля все вышеназванные все вышеназванные все вышеназванные все вышеназванные
Идентификация мёртвого кода все вышеназванные все вышеназванные все вышеназванные все вышеназванные