Uses of Interface
de.rwth.i2.attestor.procedures.ScopedHeap

Packages that use ScopedHeap

Package	Description
de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration
de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.scopes
de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis
de.rwth.i2.attestor.procedures

Uses of ScopedHeap in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration

Methods in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration with parameters of type ScopedHeap

Modifier and Type	Method and Description
protected Collection<HeapConfiguration>	CounterexampleMethodExecutor.getPostconditions(ProgramState callingState, ScopedHeap scopedHeap)

Uses of ScopedHeap in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.scopes

Classes in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.scopes that implement ScopedHeap

Modifier and Type	Class and Description
class	InternalScopedHeap

Methods in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.scopes that return ScopedHeap

Modifier and Type	Method and Description
ScopedHeap	DefaultScopeExtractor.extractScope(HeapConfiguration heapConfiguration)

Uses of ScopedHeap in de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis

Methods in de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis with parameters of type ScopedHeap

Modifier and Type	Method and Description
protected Collection<HeapConfiguration>	AbstractInterproceduralMethodExecutor.getPostconditions(ProgramState callingState, ScopedHeap scopedHeap)

Uses of ScopedHeap in de.rwth.i2.attestor.procedures

Methods in de.rwth.i2.attestor.procedures that return ScopedHeap

Modifier and Type	Method and Description
ScopedHeap	ScopeExtractor.extractScope(HeapConfiguration heapConfiguration)

Methods in de.rwth.i2.attestor.procedures with parameters of type ScopedHeap

Modifier and Type	Method and Description
protected abstract Collection<HeapConfiguration>	AbstractMethodExecutor.getPostconditions(ProgramState callingState, ScopedHeap scopedHeap)