Class PointerAnalysisImpl
java.lang.Object
com.ibm.wala.ipa.callgraph.propagation.AbstractPointerAnalysis
com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl
- All Implemented Interfaces:
PointerAnalysis<InstanceKey>
- Direct Known Subclasses:
AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl
General representation of the results of pointer analysis
-
Nested Class Summary
Modifier and TypeClassDescriptionprotected class
static class
-
Field Summary
Modifier and TypeFieldDescriptionprotected final PropagationCallGraphBuilder
protected final PointerKeyFactory
An object that abstracts how to model pointers in the heap.Fields inherited from class com.ibm.wala.ipa.callgraph.propagation.AbstractPointerAnalysis
instanceKeys
-
Constructor Summary
ConstructorDescriptionPointerAnalysisImpl
(PropagationCallGraphBuilder builder, CallGraph cg, PointsToMap pointsToMap, MutableMapping<InstanceKey> instanceKeys, PointerKeyFactory pointerKeys, InstanceKeyFactory iKeyFactory) -
Method Summary
Modifier and TypeMethodDescriptioncomputeImplicitPointsToSetAtGet
(CGNode node, FieldReference field, int refVn, boolean isStatic) getPointsToSet
(PointerKey key) boolean
isFiltered
(PointerKey key) did the pointer analysis use a type filter for a given points-to set? (this is ugly).protected HeapModel
toString()
Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.AbstractPointerAnalysis
getCallGraph, getHeapGraph, getInstanceKeyMapping, getInstanceKeys
-
Field Details
-
pointerKeys
An object that abstracts how to model pointers in the heap. -
builder
-
-
Constructor Details
-
PointerAnalysisImpl
public PointerAnalysisImpl(PropagationCallGraphBuilder builder, CallGraph cg, PointsToMap pointsToMap, MutableMapping<InstanceKey> instanceKeys, PointerKeyFactory pointerKeys, InstanceKeyFactory iKeyFactory)
-
-
Method Details
-
toString
-
makeHeapModel
-
getPointsToSet
- Parameters:
key
- representative of an equivalence class of pointers- Returns:
- Set of InstanceKey, representing the instance abstractions that define the points-to set computed for the pointer key
- See Also:
-
isFiltered
did the pointer analysis use a type filter for a given points-to set? (this is ugly). -
makeImplicitPointsToVisitor
protected PointerAnalysisImpl.ImplicitPointsToSetVisitor makeImplicitPointsToVisitor(LocalPointerKey lpk) -
computeImplicitPointsToSetAtGet
public OrdinalSet<InstanceKey> computeImplicitPointsToSetAtGet(CGNode node, FieldReference field, int refVn, boolean isStatic) -
getHeapModel
- Returns:
- an Object that determines how to model abstract locations in the heap.
- See Also:
-
getPointerKeys
- Returns:
- all pointer keys known
- See Also:
-
getClassHierarchy
-