Analisis de taint interprocedimental formal — encuentra lo que los motores de coincidencia de patrones pasan por alto, aplica lo que los agentes LLM descubren como reglas, escala donde ninguno puede hacerlo por si solo.
English | 简体中文 | 繁體中文 | 한국어 | Deutsch | Español | Français | Italiano | Dansk | 日本語 | Polski | Русский | Bosanski | العربية | Norsk | Português (Brasil) | ไทย | Türkçe | Українська | বাংলা | Ελληνικά | Tiếng Việt
Tecnologias e integraciones compatibles
El motor de análisis de taint más exhaustivo para aplicaciones Spring
Hoja de ruta
Mas capturas de pantalla
La IA genera codigo de produccion mas rapido de lo que las herramientas de seguridad actuales pueden seguir.
Los agentes de seguridad LLM encuentran vulnerabilidades que los humanos pasan por alto, consumen tokens en cada archivo y aun asi no pueden garantizar que lo detecten todo.
Cuanto mas codigo escribe la IA, mas se necesitan metodos formales como base.
- Encuentra lo que los motores de coincidencia de patrones pasan por alto. El motor de flujo de datos interprocedimental rastrea datos no confiables a traves de limites de funciones, capas de persistencia, alias y codigo asincrono.
- Un hallazgo se convierte en cobertura total. Las reglas nativas de codigo permiten convertir cada vulnerabilidad descubierta en una regla, y el motor la aplica de forma determinista en toda la base de codigo en minutos de CPU.
- Codigo abierto, con todo incluido. Motor, reglas, integraciones de CI — toda la pila se distribuye bajo Apache 2.0 y MIT. Sin nivel de pago para desbloquear el rastreo de taint, sin restricciones para escribir tus propias reglas.
Script de instalacion (Linux/macOS)
curl -fsSL https://raw.githubusercontent.com/seqra/opentaint/main/scripts/install/install.sh | bashInstalar via Homebrew (Linux/macOS):
brew install --cask seqra/tap/opentaintScript de instalacion (Windows PowerShell)
irm https://raw.githubusercontent.com/seqra/opentaint/main/scripts/install/install.ps1 | iexEscanea tu proyecto:
opentaint scanO usa Docker:
docker run --rm -v $(pwd):/project -v $(pwd):/output \
ghcr.io/seqra/opentaint:latest \
opentaint scan --output /output/results.sarif /projectPara mas opciones, consulta Instalacion y Uso.
Guias completas — instalacion, uso, configuracion, integracion CI/CD: Documentacion.
- Issues: GitHub Issues
- Comunidad: Discord
- Correo electronico: seqradev@gmail.com
El motor de analisis principal se distribuye bajo la Licencia Apache 2.0. La CLI, GitHub Action, plantilla de CI de GitLab y las reglas se distribuyen bajo la Licencia MIT.