| 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.
|
| 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) |
| Constructor and Description |
|---|
InstanceInvokeHelper(SceneObject sceneObject,
Value baseValue,
List<Value> argumentValues)
creates a helper class for a specific invoke statement.
|
| 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.
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
SettableValue
SettableValues are Values to which something can be assigned, i.e.
|
| 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.
|
| Constructor and Description |
|---|
Field(Type type,
Value originValue,
SelectorLabel selectorLabel) |
NullPointerDereferenceException(Value violation) |
| Modifier and Type | Class and Description |
|---|---|
class |
EqualExpr
Represents expressions of the form x == y
|
class |
UnequalExpr
Represents expressions of the form x != y
|
| Constructor and Description |
|---|
EqualExpr(Value leftExpr,
Value rightExpr) |
UnequalExpr(Value leftExpr,
Value rightExpr) |
| Modifier and Type | Method and Description |
|---|---|
Value |
DefaultAbstractSemantics.translateValue(soot.Value input)
Translates every value to
UndefinedValue. |
Value |
JimpleToAbstractSemantics.translateValue(soot.Value input)
Translates Jimple values to instances of
Value. |
Value |
TopLevelTranslation.translateValue(soot.Value input) |
Value |
StandardAbstractSemantics.translateValue(soot.Value input)
soot.jimple.NullConstant translates to
NullConstantsoot.Local translates to Localsoot.InstanceFieldRef translates to Field soot.jimple.NewExpr translates to NewExprsoot.jimple.IntConstant translates to IntConstant for values in {0,1} soot.jimple.EqExpr translates to EqualExprsoot.jimple.NeExpr translates to UnequalExpreverything else is delegated to StandardAbstractSemantics.nextLevel |
Copyright © 2019. All rights reserved.