Uses of Class
de.rwth.i2.attestor.phases.symbolicExecution.recursive.InternalProcedureCall

Packages that use InternalProcedureCall

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

Uses of InternalProcedureCall in de.rwth.i2.attestor.phases.symbolicExecution.recursive

Methods in de.rwth.i2.attestor.phases.symbolicExecution.recursive that return InternalProcedureCall

Modifier and Type	Method and Description
InternalProcedureCall	InternalProcedureRegistry.getProcedureCall(Method method, HeapConfiguration initialHeap)