Uses of Class
de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis.InterproceduralAnalysis

Packages that use InterproceduralAnalysis

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

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

Constructors in de.rwth.i2.attestor.phases.symbolicExecution.recursive with parameters of type InterproceduralAnalysis

Constructor and Description
InternalProcedureRegistry(InterproceduralAnalysis analysis, StateSpaceGeneratorFactory stateSpaceGeneratorFactory)