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.
-
Notifications
You must be signed in to change notification settings - Fork 0
SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.
License
SWAT-project/SWAT
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published