Основная проблема стат анализаторов - огромное количество False Positive и False Negative ошибок, которые необходимо обнаружить и сократить на самом раннем этапе разработки.
SAST анализатор с символьным исполнением, усиленный ИИ. Символьное исполнение - один из самых успешных подходов к анализу программ, так как позволяет сочетать точность и скорость.
За счет связки символьного исполнения и анализа потока данных мы даем точный и быстрый анализ. Наш движок сокращает количество ложных срабатываний (False Positive) до 95% и позволяет точнее находить False Negative. Наш продукт работает со скомпилированным кодом, клиенты не должны предоставлять нам исходный код.
Коммерциализация:
- продажа OEM-лицензии на SAST для компаний предоставляющих услуги по поиску и устранению уязвимостей в коде;
- продажа лицензий на SAST + SE и AI генерацию тестов через Plugin Idea JetBrains и VsCode Microsoft;
- оказание услуг и сервисов по аудиту уязвимостей и кибербезопасности.

IT

Искусственный интеллект