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

Interfaces

• PartialStateSpace
• ProcedureCall
• ProcedureRegistry

Classes

• AbstractInterproceduralMethodExecutor
• InterproceduralAnalysis
• NonRecursiveMethodExecutor
• RecursiveMethodExecutor