SWAT
SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.
Install / Use
/learn @SWAT-project/SWATREADME
SWAT
A dynamic symbolic execution engine for Java Applications that uses on-the-fly instrumentation to facilitate symbolic tracking. The documentation is available at https://swat-project.github.io/docs/. The repository is also still under construction.
