Motore formale di analisi della contaminazione inter-procedurale per la sicurezza delle applicazioni. Tiene traccia dei dati non affidabili attraverso i confini delle funzioni, i livelli di persistenza e il codice asincrono. Pronto per agenti AI con replay deterministico delle regole. Alternativa open-source a Semgrep Pro e CodeQL.
Taint analysis formale per la sicurezza delle applicazioni — trova ciò che i motori di AST-pattern matching non rilevano, consente agli agenti LLM di applicare vulnerabilità come regole, scala dove nessuno dei due può farlo da solo.
English | 简体中文 | 繁體中文 | 한국어 | Deutsch | Español | Français | Italiano | Dansk | 日本語 | Polski | Русский | Bosanski | العربية | Norsk | Svenska | Português (Brasil) | ไทย | Türkçe | Українська | বাংলা | हिन्दी | Ελληνικά | Tiếng Việt | Bahasa Indonesia
Tecnologie e integrazioni supportate
Il motore di analisi taint più completo per le applicazioni Spring
Roadmap
