ИИ-аудит уязвимостей
в C/C++, Go, Rust

Некоммерческий исследовательский проект.

Что отличает систему

Полный цикл поиска и анализа уязвимостей.
Каждая находка проверяется воспроизводимыми методами.
Критические уязвимости: удалённое выполнение кода и отказ в обслуживании.

Роадмап

Стадия №1

Цель — 20–30 подтверждённых уязвимостей в open-source проектах.

Стадия №2

Полный цикл. Выход на уровень 100 подтверждённых уязвимостей.

Стадия №3

Стабилизация. Выход на уровень 1000 подтверждённых уязвимостей в год.