MCP server: security scanner for AI-generated code — the agent scans its own code/diff before committing. Detects injection, SSRF, hardcoded secrets, weak crypto, unsafe deserialization, TLS-off, XSS. Deterministic, free, no LLM.
TypeClone published in our ECOOP paper is now available in SVF * SVF now uses a single script for its build. Just type [`source ./build.
Static Application Security Testing CLI for detecting security vulnerabilities via taint tracking