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

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

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

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