Awesome

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.