Uses of Package
de.rwth.i2.attestor.procedures

Packages that use de.rwth.i2.attestor.procedures

Package	Description
de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat
de.rwth.i2.attestor.io.jsonExport.inputFormat
de.rwth.i2.attestor.main.scene
de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration
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.phases.symbolicExecution.recursive.interproceduralAnalysis
de.rwth.i2.attestor.procedures
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.

Classes in de.rwth.i2.attestor.procedures used by de.rwth.i2.attestor.io.jsonExport.cytoscapeFormat

Class and Description
Contract

Classes in de.rwth.i2.attestor.procedures used by de.rwth.i2.attestor.io.jsonExport.inputFormat

Class and Description
Contract

Classes in de.rwth.i2.attestor.procedures used by de.rwth.i2.attestor.main.scene

Class and Description
Contract
Method

Classes in de.rwth.i2.attestor.procedures used by de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration

Class and Description
AbstractMethodExecutor
Contract
ContractCollection
ContractGenerator
ContractMatch
Method
MethodExecutor
ScopedHeap
ScopeExtractor

Classes in de.rwth.i2.attestor.procedures used by de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl

Class and Description
Contract
ContractCollection
ContractGenerator
ContractMatch
PreconditionMatchingStrategy

Classes in de.rwth.i2.attestor.procedures used by de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.scopes

Class and Description
ContractMatch
ScopedHeap
ScopeExtractor

Classes in de.rwth.i2.attestor.procedures used by de.rwth.i2.attestor.phases.symbolicExecution.recursive

Class and Description
Method

Classes in de.rwth.i2.attestor.procedures used by de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis

Class and Description
AbstractMethodExecutor
ContractCollection
Method
MethodExecutor
ScopedHeap
ScopeExtractor

Classes in de.rwth.i2.attestor.procedures used by de.rwth.i2.attestor.procedures

Class and Description
Contract
ContractCollection
ContractMatch
MethodExecutor
NoContractMatch
ScopedHeap
ScopeExtractor

Classes in de.rwth.i2.attestor.procedures used by de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements

Class and Description
Method

Classes in de.rwth.i2.attestor.procedures used by de.rwth.i2.attestor.semantics.jimpleSemantics.translation

Class and Description
Method