Interface PointerKeyFactory
- All Known Subinterfaces:
AstHeapModel
,AstPointerKeyFactory
,ExtendedHeapModel
,HeapModel
- All Known Implementing Classes:
AstCFAPointerKeys
,AstJavaCFABuilder
,AstJavaSSAPropagationCallGraphBuilder
,AstJavaZeroOneContainerCFABuilder
,AstJavaZeroXCFABuilder
,AstSSAPropagationCallGraphBuilder
,CrossLanguageSSAPropagationCallGraphBuilder
,DefaultPointerKeyFactory
,DelegatingAstPointerKeys
,DelegatingExtendedHeapModel
,JavaJavaScriptHybridCallGraphBuilder
,JSCFABuilder
,JSSSAPropagationCallGraphBuilder
,JSZeroOrOneXCFABuilder
,nCFABuilder
,nObjBuilder
,PointerAnalysisImpl.HModel
,SSAPropagationCallGraphBuilder
,TypeBasedHeapModel
,ZeroXCFABuilder
,ZeroXContainerCFABuilder
public interface PointerKeyFactory
An object that abstracts how to model pointers in the heap.
-
Method Summary
Modifier and TypeMethodDescriptiongetFilteredPointerKeyForLocal
(CGNode node, int valueNumber, FilteredPointerKey.TypeFilter filter) TODO: expand this API to differentiate between different array indicesgetPointerKeyForInstanceField
(InstanceKey I, IField field) getPointerKeyForLocal
(CGNode node, int valueNumber)
-
Method Details
-
getPointerKeyForLocal
- Returns:
- the PointerKey that acts as a representative for the class of pointers that includes the local variable identified by the value number parameter.
-
getFilteredPointerKeyForLocal
FilteredPointerKey getFilteredPointerKeyForLocal(CGNode node, int valueNumber, FilteredPointerKey.TypeFilter filter) - Returns:
- the PointerKey that acts as a representative for the class of pointers that includes the local variable identified by the value number parameter.
-
getPointerKeyForReturnValue
- Returns:
- the PointerKey that acts as a representative for the class of pointers that includes the return value for a node
-
getPointerKeyForExceptionalReturnValue
- Returns:
- the PointerKey that acts as a representative for the class of pointers that includes the exceptional return value
-
getPointerKeyForStaticField
- Returns:
- the PointerKey that acts as a representative for the class of pointers that includes the contents of the static field
-
getPointerKeyForInstanceField
- Returns:
- the PointerKey that acts as a representation for the class of pointers that includes the given instance field.
-
getPointerKeyForArrayContents
TODO: expand this API to differentiate between different array indices- Parameters:
I
- an InstanceKey representing an abstract array- Returns:
- the PointerKey that acts as a representation for the class of pointers that includes the given array contents.
-