Class TypeBasedPointerAnalysis
java.lang.Object
com.ibm.wala.ipa.callgraph.propagation.AbstractPointerAnalysis
com.ibm.wala.ipa.callgraph.propagation.rta.TypeBasedPointerAnalysis
- All Implemented Interfaces:
PointerAnalysis<InstanceKey>
A trivial field-based pointer analysis solution, which only uses the information of which types
(classes) are live.
-
Field Summary
Fields inherited from class com.ibm.wala.ipa.callgraph.propagation.AbstractPointerAnalysis
instanceKeys
-
Method Summary
Modifier and TypeMethodDescriptiongetPointsToSet
(PointerKey key) boolean
isFiltered
(PointerKey pk) did the pointer analysis use a type filter for a given points-to set? (this is ugly).static TypeBasedPointerAnalysis
make
(AnalysisOptions options, Collection<IClass> klasses, CallGraph cg) Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.AbstractPointerAnalysis
getCallGraph, getHeapGraph, getInstanceKeyMapping, getInstanceKeys
-
Method Details
-
make
public static TypeBasedPointerAnalysis make(AnalysisOptions options, Collection<IClass> klasses, CallGraph cg) throws AssertionError - Throws:
AssertionError
-
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
- Throws:
IllegalArgumentException
-
getHeapModel
- Returns:
- an Object that determines how to model abstract locations in the heap.
-
getPointerKeys
- Returns:
- all pointer keys known
-
isFiltered
Description copied from interface:PointerAnalysis
did the pointer analysis use a type filter for a given points-to set? (this is ugly). -
getClassHierarchy
-