Motor formal de análise de contaminação inter-procedural para segurança de aplicações. Rastreia dados não confiáveis através de limites de funções, camadas de persistência e código assíncrono. Pronto para agente de IA com repetição determinística de regras. Alternativa de código aberto ao Semgrep Pro e CodeQL.
Análise de taint formal para segurança de aplicações — encontra o que motores de correspondência de padrões AST deixam passar, permite que agentes LLM apliquem vulnerabilidades como regras, escala onde nenhum deles consegue sozinho.
English | 简体中文 | 繁體中文 | 한국어 | Deutsch | Español | Français | Italiano | Dansk | 日本語 | Polski | Русский | Bosanski | العربية | Norsk | Svenska | Português (Brasil) | ไทย | Türkçe | Українська | বাংলা | हिन्दी | Ελληνικά | Tiếng Việt | Bahasa Indonesia
Tecnologias e integrações suportadas
O motor de análise de taint mais completo para aplicações Spring
Roteiro
