Полное обеспечение безопасности на каждой стадии разработки

Astrée — анализатор ошибок выполнения

Астрé — статический анализ ошибок выполнения

Астрé анализирует критические приложения, написанные на языке C, и находит в них все ошибки времени выполнения, либо же формально доказывает отсутствие таковых.

CompCert — верифицированный компилятор

КомпСерт — верифицированная компиляция

КомпСерт — единственный в мире формально верифи­ци­ро­ванный оптими­зирующий компилятор, позволяющий достигнуть высочайшей уверенности в корректности процесса компиляции, отвечая самым высоким стандартам безопасности.

StackAnalyzer — статический анализ стека

СтекАналайзер — статический анализ стека

СтекАналайзер заранее определяет макси­маль­ную степень загружен­ности стека задачами вашего приложения, таким образом позволяя предотвратить серьёзные сбои во время выполнения.

aiT — статический анализ времени выполнения

айТи — статический анализ времени выполнения

айТи исследует вашу систему реаль­ного времени и точно опре­деляет макси­мальное время выполнения каж­дой задачи в худшем случае.

TimingProfiler — прогноз времени выполнения

ТаймингПрофайлер — прогноз времени выполнения

ТаймингПрофайлер при­бли­зи­тельно оценивает время выполнения анали­зи­ру­емого при­ложения в худшем случае с по­мощью статического анализа, не требуя повтор­ного тестирования и много­числен­ных измерений. Таким образом, он иде­ально подходит для постоян­ного наблю­де­ния за измене­ниями времени выполнения вашего приложения в процессе его разработки.

ТаймВивер — гибридный анализ времени выполнения

ТаймВивер — гибридный анализ времени выполнения

ТаймВивер комбинирует статический анализ времени выполнения с результатами измерений на практике.

Прочие продукты

За информацией о ПО, не упомянутом здесь, обращайтесь по адресу info@absint.com.