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

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

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.
de.rwth.i2.attestor.semantics.jimpleSemantics.translation	The classes in this package handle the translation of Jimple elements such as Statements, Values and Types to semantics objects of our symbolic execution.

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

Class and Description
JimpleToAbstractSemantics

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

Class and Description
JimpleToAbstractSemantics
TopLevelTranslation This class organizes the actual translation process by splitting a Jimple program into methodExecution and methodExecution into units.