Skip to main content
Link
Menu
Expand
(external link)
Document
Search
Copy
Copied
Introduction
Get Started
Building SWAT
Active Mode
Passive Mode
Contributing
Configuration
Tests
Contact
SWAT on GitHub
Institute for IT Security
Javadoc
Toggle dark mode
SWAT Repository
Get Started
Active Mode
Active Mode
User
Build Executor
Write Config
Run Explorer
III
II
I
swat.cfg
>_
(Active Mode)
JVM
Attaches via Javaagent
Configures Symbolic Executor
Starts SuT with seed values
Trace with Constraints
Symbolic Executor
Java
Symbolic Explorer
Python
System under Test
Java