Uses of Package
de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis

Packages that use de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis

Package	Description
de.rwth.i2.attestor.phases.symbolicExecution.recursive
de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis

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

Class and Description
InterproceduralAnalysis This class is responsible of computing the fixpoint of the interprocedural analysis in case there are recursive functions.
PartialStateSpace partialStateSpaces wrap an (unfinished) stateSpace together with a state within this stateSpace which is expected to be continued during fixpoint iteration.
ProcedureCall A procedure call wraps a method and an initial state together.
ProcedureRegistry This is the interface for the stateSpaceGeneration to give relevant information to the InterproceduralAnalysis component.

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

Class and Description
AbstractInterproceduralMethodExecutor
PartialStateSpace partialStateSpaces wrap an (unfinished) stateSpace together with a state within this stateSpace which is expected to be continued during fixpoint iteration.
ProcedureCall A procedure call wraps a method and an initial state together.
ProcedureRegistry This is the interface for the stateSpaceGeneration to give relevant information to the InterproceduralAnalysis component.