Security researcher and PhD student at the Institute for IT Security, University of Luebeck, with a focus on code analysis and machine learning.
Highlights
- Pro
Pinned Loading
-
SWAT-project/SWAT
SWAT-project/SWAT PublicSWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.
Java 27
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.