Package com.ibm.wala.ipa.callgraph.propagation

Interface HeapModel

All Superinterfaces:

InstanceKeyFactory, PointerKeyFactory

All Known Subinterfaces:

AstHeapModel, ExtendedHeapModel

All Known Implementing Classes:

AstJavaCFABuilder, AstJavaSSAPropagationCallGraphBuilder, AstJavaZeroOneContainerCFABuilder, AstJavaZeroXCFABuilder, AstSSAPropagationCallGraphBuilder, CrossLanguageSSAPropagationCallGraphBuilder, DelegatingExtendedHeapModel, JavaJavaScriptHybridCallGraphBuilder, JSCFABuilder, JSSSAPropagationCallGraphBuilder, JSZeroOrOneXCFABuilder, nCFABuilder, nObjBuilder, PointerAnalysisImpl.HModel, SSAPropagationCallGraphBuilder, TypeBasedHeapModel, ZeroXCFABuilder, ZeroXContainerCFABuilder

public interface HeapModel
extends InstanceKeyFactory, PointerKeyFactory

A HeapModel embodies how a pointer analysis abstracts heap locations.

Method Summary

Modifier and Type	Method	Description
IClassHierarchy	getClassHierarchy()
Iterator<PointerKey>	iteratePointerKeys()

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

getInstanceKeyForAllocation, getInstanceKeyForConstant, getInstanceKeyForMetadataObject, getInstanceKeyForMultiNewArray, getInstanceKeyForPEI

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

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

Method Details

iteratePointerKeys

Iterator<PointerKey> iteratePointerKeys()

Returns:

an Iterator of all PointerKeys that are modeled.

getClassHierarchy

IClassHierarchy getClassHierarchy()

Returns:

the governing class hierarchy for this heap model