Uses of Package
de.rwth.i2.attestor.semantics

Packages that use de.rwth.i2.attestor.semantics

Package	Description
de.rwth.i2.attestor.semantics	This package defines the translation process from Java bytecode to an executable (abstract) semantics.
de.rwth.i2.attestor.semantics.jimpleSemantics	This package containsSubsumingState all classes which deal with the translation of Jimple elements, such as statements, values and types to semantics objects used within attestor.

Classes in de.rwth.i2.attestor.semantics used by de.rwth.i2.attestor.semantics

Class and Description
TerminalStatement Terminal Statements are used to model the exit point of a method.

Classes in de.rwth.i2.attestor.semantics used by de.rwth.i2.attestor.semantics.jimpleSemantics

Class and Description
ProgramParser ProgramParsers specify how a source code file is translated into a Program that can be analyzed.