Uses of Interface
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.Value

Packages that use Value

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.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.

Uses of Value in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements

Constructors in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements with parameters of type Value

Constructor and Description
AssignStmt(SceneObject sceneObject, SettableValue lhs, Value rhs, int nextPC, Set<String> liveVariableNames)
IfStmt(SceneObject sceneObject, Value condition, int truePC, int falsePC, Set<String> liveVariableNames)
ReturnValueStmt(SceneObject sceneObject, Value returnValue, Type type)

Uses of Value in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke

Constructors in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke with parameters of type Value

Constructor and Description
InstanceInvokeHelper(SceneObject sceneObject, Value baseValue, List<Value> argumentValues) creates a helper class for a specific invoke statement.

Constructor parameters in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke with type arguments of type Value

Constructor and Description
InstanceInvokeHelper(SceneObject sceneObject, Value baseValue, List<Value> argumentValues) creates a helper class for a specific invoke statement.
StaticInvokeHelper(SceneObject sceneObject, List<Value> argumentValues) creates a helper class for a specific invoke statement.

Uses of Value in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values

Subinterfaces of Value in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values

Modifier and Type	Interface and Description
interface	SettableValue SettableValues are Values to which something can be assigned, i.e.

Classes in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values that implement Value

Modifier and Type	Class and Description
class	Field fields model selectors of objects, e.g.
class	IntConstant IntConstants represent access to constants of type int
class	Local Locals represent local variables
class	NewExpr represents expressions of form new List() or new List( args ), but only generates the new element without calling the constructor.
class	NullConstant represents the constant null
class	UndefinedValue Undefined Values are placeholders for Values our simulation does not know, e.g.

Constructors in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values with parameters of type Value

Constructor and Description
Field(Type type, Value originValue, SelectorLabel selectorLabel)
NullPointerDereferenceException(Value violation)

Uses of Value in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.boolExpr

Classes in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.boolExpr that implement Value

Modifier and Type	Class and Description
class	EqualExpr Represents expressions of the form x == y
class	UnequalExpr Represents expressions of the form x != y

Constructors in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.boolExpr with parameters of type Value

Constructor and Description
EqualExpr(Value leftExpr, Value rightExpr)
UnequalExpr(Value leftExpr, Value rightExpr)

Uses of Value in de.rwth.i2.attestor.semantics.jimpleSemantics.translation

Methods in de.rwth.i2.attestor.semantics.jimpleSemantics.translation that return Value

Modifier and Type	Method and Description
Value	JimpleToAbstractSemantics.translateValue(soot.Value input) Translates Jimple values to instances of Value.
Value	DefaultAbstractSemantics.translateValue(soot.Value input) Translates every value to UndefinedValue.
Value	StandardAbstractSemantics.translateValue(soot.Value input) soot.jimple.NullConstant translates to NullConstant soot.Local translates to Local soot.InstanceFieldRef translates to Field soot.jimple.NewExpr translates to NewExpr soot.jimple.IntConstant translates to IntConstant for values in {0,1} soot.jimple.EqExpr translates to EqualExpr soot.jimple.NeExpr translates to UnequalExpr everything else is delegated to StandardAbstractSemantics.nextLevel
Value	TopLevelTranslation.translateValue(soot.Value input)