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

This package containsSubsumingState the semantic of several JimpleValues on JimpleExecutables.

See: Description

Interface Summary

Interface	Description
ConcreteValue	Concrete Values represent elements of the heap, e.g.
SettableValue	SettableValues are Values to which something can be assigned, i.e.
Value	Values model all kinds of expressions.

Class Summary

Class	Description
Field	fields model selectors of objects, e.g.
GeneralConcreteValue	Implementation of values of variables as nodes in a heap configuration.
IntConstant	IntConstants represent access to constants of type int
Local	Locals represent local variables
NewExpr	represents expressions of form new List() or new List( args ), but only generates the new element without calling the constructor.
NullConstant	represents the constant null
NullPointerDereferenceException	Reports that a null pointer dereference has been detected by the analysis.
UndefinedValue	Undefined Values are placeholders for Values our simulation does not know, e.g.

Package de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values Description

This package containsSubsumingState the semantic of several JimpleValues on JimpleExecutables.

They all implement the interface Value Those that can be the target of an assign, additionally implement SettableValue

Author:

Hannah Arndt