| 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.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.
|
| Class and Description |
|---|
| Statement
Statements are
Sementics
with ProgramState
as heaps. |
| Class and Description |
|---|
| Statement
Statements are
Sementics
with ProgramState
as heaps. |
Copyright © 2018. All rights reserved.