/SWAT

SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.

Primary LanguageJavaBSD 2-Clause "Simplified" LicenseBSD-2-Clause

Watchers

No one’s watching this repository yet.