Corax for Java: A general static analysis framework for java code checking.
java
security
security-audit
static-code-analysis
static-analysis
code-analysis
owasp
vulnerability
software-analysis
program-analysis
taint-analysis
soot
abstract-interpretation
cwe
sarif
sast
flowdroid
-
Updated
Sep 30, 2024 - Kotlin