com.ibm.wala.ipa.callgraph.propagation

Interface HeapModel

All Superinterfaces:

InstanceKeyFactory, PointerKeyFactory

All Known Subinterfaces:

ExtendedHeapModel

All Known Implementing Classes:

DelegatingExtendedHeapModel, 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 and Description
IClassHierarchy	getClassHierarchy()
java.util.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 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