JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Tree
Index
Help
Package:
Description |
Related Packages
|
Classes and Interfaces
SEARCH:
Package de.uzl.its.swat
package
de.uzl.its.swat
Related Packages
Package
Description
de.uzl.its.swat.common
This package contains common utlility classes used throughout the project.
de.uzl.its.swat.config
The config package contains classes for the configuration of the symbolic execution.
de.uzl.its.swat.instrument
This package contains all classes required for the instrumentation of the Java bytecode.
de.uzl.its.swat.request
de.uzl.its.swat.solver
de.uzl.its.swat.symbolic
de.uzl.its.swat.thread
de.uzl.its.swat.witness
Classes
Class
Description
Main
Main runtime environment for parsing inputs and writing state files.
Version