| Package | Description |
|---|---|
| de.rwth.i2.attestor.main |
Loads and executes a program analysis task.
|
| de.rwth.i2.attestor.main.scene | |
| de.rwth.i2.attestor.phases.commandLineInterface | |
| 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.recursive | |
| de.rwth.i2.attestor.seplog |
The separation logic interface of Attestor.
|
| Constructor and Description |
|---|
AbstractPhase(Scene scene) |
| Modifier and Type | Class and Description |
|---|---|
class |
DefaultScene |
| Modifier and Type | Method and Description |
|---|---|
Scene |
SceneObject.scene() |
| Constructor and Description |
|---|
SceneObject(Scene scene) |
| Constructor and Description |
|---|
CommandLinePhase(Scene scene,
String[] args) |
| Constructor and Description |
|---|
CounterexampleGenerationPhase(Scene scene) |
| Constructor and Description |
|---|
ModelCheckingPhase(Scene scene) |
| Constructor and Description |
|---|
ParseContractsPhase(Scene scene) |
ParseGrammarPhase(Scene scene) |
ParseInputPhase(Scene scene) |
ParseProgramPhase(Scene scene) |
| Constructor and Description |
|---|
AbstractionPreprocessingPhase(Scene scene) |
GrammarRefinementPhase(Scene scene) |
MarkingGenerationPhase(Scene scene) |
| Constructor and Description |
|---|
ReportGenerationPhase(PhaseRegistry registry,
Scene scene) |
| Constructor and Description |
|---|
StateSpaceGeneratorFactory(Scene scene) |
| Constructor and Description |
|---|
RecursiveStateSpaceGenerationPhase(Scene scene) |
| Constructor and Description |
|---|
HeapConfigurationExtractor(Scene scene,
VariableUnification variableUnification,
HeapConfigurationRenaming renaming) |
Copyright © 2019. All rights reserved.