com.ibm.wala.ipa.callgraph.propagation
Interface HeapModel

All Superinterfaces:

InstanceKeyFactory, PointerKeyFactory

All Known Subinterfaces:

ExtendedHeapModel

All Known Implementing Classes:

AstJavaCFABuilder, AstJavaSSAPropagationCallGraphBuilder, AstJavaZeroOneContainerCFABuilder, AstJavaZeroXCFABuilder, AstSSAPropagationCallGraphBuilder, CrossLanguageSSAPropagationCallGraphBuilder, DelegatingExtendedHeapModel, JSCFABuilder, JSSSAPropagationCallGraphBuilder, JSZeroOrOneXCFABuilder, nCFABuilder, SSAPropagationCallGraphBuilder, TypeBasedHeapModel, ZeroXCFABuilder, ZeroXContainerCFABuilder

public interface HeapModel
extends InstanceKeyFactory, PointerKeyFactory

A HeapModel embodies how a pointer analysis abstracts heap locations.

Method Summary

IClassHierarchy	getClassHierarchy()
java.util.Iterator<PointerKey>	iteratePointerKeys()

Methods inherited from interface com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory

getInstanceKeyForAllocation, getInstanceKeyForClassObject, getInstanceKeyForConstant, getInstanceKeyForMultiNewArray, getInstanceKeyForPEI

Methods inherited from interface com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory

getFilteredPointerKeyForLocal, getPointerKeyForArrayContents, getPointerKeyForExceptionalReturnValue, getPointerKeyForInstanceField, getPointerKeyForLocal, getPointerKeyForReturnValue, getPointerKeyForStaticField

Method Detail

iteratePointerKeys

java.util.Iterator<PointerKey> iteratePointerKeys()

Returns:

an Iterator of all PointerKeys that are modeled.

getClassHierarchy

IClassHierarchy getClassHierarchy()

Returns:

the governing class hierarchy for this heap model