SWAT icon indicating copy to clipboard operation
SWAT copied to clipboard

Published 20 hours ago • verified publisher icon SWAT-project
→

Metadata

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

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.

← Metadata

21
Stars
0
Forks
Watchers

Owner

verified publisher icon SWAT-project

Metadata

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

Back