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.
SWAT-project/SWAT
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|