symbolic-executor API

Packages

Package	Description
de.uzl.its.swat
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.instrument.instruction
de.uzl.its.swat.instrument.parameter
de.uzl.its.swat.instrument.svcomp
de.uzl.its.swat.instrument.symbolicwrapper
de.uzl.its.swat.request
de.uzl.its.swat.solver
de.uzl.its.swat.symbolic
de.uzl.its.swat.symbolic.instruction
de.uzl.its.swat.symbolic.invoke
de.uzl.its.swat.symbolic.processor
de.uzl.its.swat.symbolic.trace	This package contains the trace, its handler and its elements.
de.uzl.its.swat.symbolic.trace.dto
de.uzl.its.swat.symbolic.value
de.uzl.its.swat.symbolic.value.primitive.numeric
de.uzl.its.swat.symbolic.value.primitive.numeric.floatingpoint
de.uzl.its.swat.symbolic.value.primitive.numeric.integral
de.uzl.its.swat.symbolic.value.reference
de.uzl.its.swat.symbolic.value.reference.array
de.uzl.its.swat.symbolic.value.reference.lang
de.uzl.its.swat.symbolic.value.reference.util
de.uzl.its.swat.thread
de.uzl.its.swat.witness