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
A
HeapModel
embodies how a pointer analysis abstracts heap locations.-
Method Summary
Modifier and TypeMethodDescriptionMethods 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
-