| de.rwth.i2.attestor.io |
|
| de.rwth.i2.attestor.io.jsonImport |
|
| de.rwth.i2.attestor.io.settings |
|
| de.rwth.i2.attestor.main |
Loads and executes a program analysis task.
|
| de.rwth.i2.attestor.main.scene |
|
| de.rwth.i2.attestor.phases.counterexamples |
|
| de.rwth.i2.attestor.phases.modelChecking |
|
| de.rwth.i2.attestor.phases.parser |
|
| de.rwth.i2.attestor.phases.preprocessing |
|
| de.rwth.i2.attestor.phases.report |
|
| de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl |
|
| de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.scopes |
|
| de.rwth.i2.attestor.phases.symbolicExecution.recursive |
|
| de.rwth.i2.attestor.refinement.balanced |
|
| de.rwth.i2.attestor.refinement.identicalNeighbourhood |
|
| de.rwth.i2.attestor.refinement.languageInclusion |
|
| de.rwth.i2.attestor.refinement.pointsTo |
|
| de.rwth.i2.attestor.refinement.reachability |
|
| de.rwth.i2.attestor.semantics.jimpleSemantics |
This package containsSubsumingState all classes which deal with the translation of Jimple elements, such as statements, values
and types to semantics objects used within attestor.
|
| 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.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.
|
| de.rwth.i2.attestor.semantics.util |
|