Package de.uzl.its.swat.instrument.svcomp

package de.uzl.its.swat.instrument.svcomp

Related Packages

Package	Description
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.symbolicwrapper

Classes

Class	Description
SVCompClassAdapter	A visitor to visit a Java class.
SVCompMethodAdapter	A visitor to visit a Java method
SVCompTransformer	An agent provides an implementation of this interface in order to transform class files.
Verifier