A PHP static analysis tool for finding errors and security vulnerabilities in PHP applications
Ablation is an autonomous reverse engineering system
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)
Policy-aware static taint analysis for detecting sensitive-data flows into LLM APIs.
🥷 Give your codebase a black belt. Local code intelligence, security analysis, and compiler-backed facts for humans and AI.