OpenTaint Combines Formal Taint Analysis with LLM Agents for Vuln Detection

OpenTaint performs formal taint analysis to catch vulnerabilities that AST-pattern matchers miss, and allows LLM agents to encode vulnerability patterns as rules. It targets the middle ground where neither static analysis alone nor LLM-only approaches scale effectively.