Формальний міжпроцедурний 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
- Електронна пошта: seqradev@gmail.com
Ядро аналітичного рушія випущено під ліцензією Apache 2.0. CLI, GitHub Action, шаблон GitLab CI та правила випущені під ліцензією MIT.