Uses of Package
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements

Packages that use de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements

Package	Description
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements	This package containsSubsumingState the semantics of jimple statements on jimpleExecutables.
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.jimple.statements used by de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements

Class and Description
Statement Statements are Sementics with ProgramState as heaps.

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

Class and Description
Statement Statements are Sementics with ProgramState as heaps.