SWAT-project / SWATLinks

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

Alternatives and similar repositories for SWAT

Users that are interested in SWAT are comparing it to the libraries listed below

Sorting: