Class AbstractPointerAnalysis
java.lang.Object
com.ibm.wala.ipa.callgraph.propagation.AbstractPointerAnalysis
- All Implemented Interfaces:
PointerAnalysis<InstanceKey>
- Direct Known Subclasses:
PointerAnalysisImpl
,TypeBasedPointerAnalysis
public abstract class AbstractPointerAnalysis
extends Object
implements PointerAnalysis<InstanceKey>
Abstract superclass for
PointerAnalysis
implementations.-
Field Summary
Modifier and TypeFieldDescriptionprotected final MutableMapping
<InstanceKey> bijection from InstanceKey <=> Integer -
Constructor Summary
ModifierConstructorDescriptionprotected
AbstractPointerAnalysis
(CallGraph cg, MutableMapping<InstanceKey> instanceKeys) -
Method Summary
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis
getClassHierarchy, getHeapModel, getPointerKeys, getPointsToSet, isFiltered
-
Field Details
-
instanceKeys
bijection from InstanceKey <=> Integer
-
-
Constructor Details
-
AbstractPointerAnalysis
-
-
Method Details
-
getHeapGraph
- Specified by:
getHeapGraph
in interfacePointerAnalysis<InstanceKey>
- Returns:
- a graph view of the pointer analysis solution
-
getCallGraph
-
getInstanceKeys
- Specified by:
getInstanceKeys
in interfacePointerAnalysis<InstanceKey>
- Returns:
- all instance keys known
-
getInstanceKeyMapping
- Specified by:
getInstanceKeyMapping
in interfacePointerAnalysis<InstanceKey>
- Returns:
- the bijection between InstanceKey <=> Integer that defines the interpretation of points-to-sets.
-