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

Interface Summary

Interface	Description
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.

Class Summary

Class	Description
AbstractInterproceduralMethodExecutor
InterproceduralAnalysis	This class is responsible of computing the fixpoint of the interprocedural analysis in case there are recursive functions.
NonRecursiveMethodExecutor
RecursiveMethodExecutor