Формальный межпроцедурный taint-анализ — находит то, что пропускают движки сопоставления с образцом, превращает в правила то, что обнаруживают LLM-агенты, масштабируется там, где ни один из них не справляется в одиночку.
English | 简体中文 | 繁體中文 | 한국어 | Deutsch | Español | Français | Italiano | Dansk | 日本語 | Polski | Русский | Bosanski | العربية | Norsk | Português (Brasil) | ไทย | Türkçe | Українська | বাংলা | Ελληνικά | Tiếng Việt
Поддерживаемые технологии и интеграции
Самый тщательный движок taint-анализа для Spring-приложений
Дорожная карта
Больше скриншотов
ИИ генерирует продакшн-код быстрее, чем современные инструменты безопасности успевают за ним.
LLM-агенты безопасности находят уязвимости, которые люди пропускают, тратят токены на каждый файл и всё равно не могут гарантировать, что обнаружат всё.
Чем больше ИИ пишет код, тем больше вам нужны формальные методы в основе.
- Находите то, что пропускают движки сопоставления с образцом. Межпроцедурный движок анализа потоков данных отслеживает ненадёжные данные через границы функций, слои хранения, псевдонимы и асинхронный код.
- Одна находка становится полным покрытием. Правила в формате кода позволяют превратить каждую обнаруженную уязвимость в правило, а движок применяет его ко всей кодовой базе детерминированно, за минуты процессорного времени.
- Открытый исходный код, всё включено. Движок, правила, CI-интеграции — весь стек поставляется под лицензиями Apache 2.0 и MIT. Никаких платных уровней для разблокировки отслеживания taint, никаких ограничений на написание собственных правил.
Скрипт установки (Linux/macOS)
curl -fsSL https://raw.githubusercontent.com/seqra/opentaint/main/scripts/install/install.sh | bashУстановка через Homebrew (Linux/macOS):
brew install --cask seqra/tap/opentaintСкрипт установки (Windows PowerShell)
irm https://raw.githubusercontent.com/seqra/opentaint/main/scripts/install/install.ps1 | iexСканируйте ваш проект:
opentaint scanИли используйте Docker:
docker run --rm -v $(pwd):/project -v $(pwd):/output \
ghcr.io/seqra/opentaint:latest \
opentaint scan --output /output/results.sarif /projectДополнительные параметры описаны в разделах Установка и Использование.
Полные руководства — установка, использование, настройка, интеграция с CI/CD: Документация.
- Проблемы: GitHub Issues
- Сообщество: Discord
- Email: seqradev@gmail.com
Основной движок анализа выпущен под лицензией Apache 2.0. CLI, GitHub Action, шаблон CI GitLab и правила выпущены под лицензией MIT.