Астрé — статический анализ ошибок исполнения
Астрé анализирует критические приложения, написанные на языке C или C++, и находит в них все ошибки времени выполнения, либо же формально доказывает отсутствие таковых.
КомпСерт — верифицированная компиляция
КомпСерт — единственный в мире формально верифицированный оптимизирующий компилятор, позволяющий достигнуть высочайшей уверенности в корректности процесса компиляции, отвечая самым высоким стандартам безопасности.
СтекАналайзер — статический анализ стека
СтекАналайзер заранее определяет максимальную степень загруженности стека задачами вашего приложения, таким образом позволяя предотвратить серьёзные сбои во время выполнения.
айТи — статический анализ времени выполнения
айТи исследует вашу систему реального времени и точно определяет максимальное время выполнения каждой задачи в худшем случае.
ТаймингПрофайлер — прогноз времени выполнения
ТаймингПрофайлер приблизительно оценивает время выполнения анализируемого приложения в худшем случае с помощью статического анализа, не требуя повторного тестирования и многочисленных измерений. Таким образом, он идеально подходит для постоянного наблюдения за изменениями времени выполнения вашего приложения в процессе его разработки.
ТаймВивер — гибридный анализ времени выполнения
ТаймВивер комбинирует статический анализ времени выполнения с результатами измерений на практике.
Прочие продукты
За информацией о ПО, не упомянутом здесь, обращайтесь по адресу info@absint.com.
