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