| 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.values |
This package containsSubsumingState the semantic of several JimpleValues
on JimpleExecutables.
|
| Constructor and Description |
|---|
AssignInvoke(SceneObject sceneObject,
SettableValue lhs,
Method method,
InvokeHelper invokePrepare,
int nextPC) |
AssignStmt(SceneObject sceneObject,
SettableValue lhs,
Value rhs,
int nextPC,
Set<String> liveVariableNames) |
IdentityStmt(SceneObject sceneObject,
int nextPC,
SettableValue lhs,
String rhs) |
| Modifier and Type | Class and Description |
|---|---|
class |
Field
fields model selectors of objects, e.g.
|
class |
Local
Locals represent local variables
|
Copyright © 2018. All rights reserved.