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

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

Package	Description
de.rwth.i2.attestor.programState
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements	This package containsSubsumingState the semantics of jimple statements on jimpleExecutables.
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke	This package containsSubsumingState classes that deal with abstract methodExecution and the procedure of calling them.
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values	This package containsSubsumingState the semantic of several JimpleValues on JimpleExecutables.
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.boolExpr	This package consists of values (expressions) of type boolean booleans themselves (true,false) are modelled by IntConstants in accordance to soot.
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.
de.rwth.i2.attestor.stateSpaceGeneration	A generic model of a state space and state space generation.

Classes in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values used by de.rwth.i2.attestor.programState

Class and Description
ConcreteValue Concrete Values represent elements of the heap, e.g.
GeneralConcreteValue Implementation of values of variables as nodes in a heap configuration.

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

Class and Description
SettableValue SettableValues are Values to which something can be assigned, i.e.
Value Values model all kinds of expressions.

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

Class and Description
Value Values model all kinds of expressions.

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

Class and Description
ConcreteValue Concrete Values represent elements of the heap, e.g.
GeneralConcreteValue Implementation of values of variables as nodes in a heap configuration.
NullPointerDereferenceException Reports that a null pointer dereference has been detected by the analysis.
SettableValue SettableValues are Values to which something can be assigned, i.e.
Value Values model all kinds of expressions.

Classes in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values used by de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.boolExpr

Class and Description
ConcreteValue Concrete Values represent elements of the heap, e.g.
Value Values model all kinds of expressions.

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

Class and Description
Value Values model all kinds of expressions.

Classes in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values used by de.rwth.i2.attestor.stateSpaceGeneration

Class and Description
ConcreteValue Concrete Values represent elements of the heap, e.g.