Class AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl
java.lang.Object
com.ibm.wala.ipa.callgraph.propagation.AbstractPointerAnalysis
com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl
com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl
- All Implemented Interfaces:
PointerAnalysis<InstanceKey>
- Direct Known Subclasses:
CrossLanguageSSAPropagationCallGraphBuilder.CrossLanguagePointerAnalysisImpl
,JSSSAPropagationCallGraphBuilder.JSPointerAnalysisImpl
- Enclosing class:
AstSSAPropagationCallGraphBuilder
public static class AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl
extends PointerAnalysisImpl
-
Nested Class Summary
Modifier and TypeClassDescriptionstatic class
Nested classes/interfaces inherited from class com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl
PointerAnalysisImpl.HModel, PointerAnalysisImpl.ImplicitPointsToSetVisitor
-
Field Summary
Fields inherited from class com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl
builder, pointerKeys
Fields inherited from class com.ibm.wala.ipa.callgraph.propagation.AbstractPointerAnalysis
instanceKeys
-
Constructor Summary
ConstructorDescriptionAstPointerAnalysisImpl
(PropagationCallGraphBuilder builder, CallGraph cg, PointsToMap pointsToMap, MutableMapping<InstanceKey> instanceKeys, PointerKeyFactory pointerKeys, InstanceKeyFactory iKeyFactory) -
Method Summary
Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl
computeImplicitPointsToSetAtGet, getClassHierarchy, getHeapModel, getPointerKeys, getPointsToSet, isFiltered, toString
Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.AbstractPointerAnalysis
getCallGraph, getHeapGraph, getInstanceKeyMapping, getInstanceKeys
-
Constructor Details
-
AstPointerAnalysisImpl
public AstPointerAnalysisImpl(PropagationCallGraphBuilder builder, CallGraph cg, PointsToMap pointsToMap, MutableMapping<InstanceKey> instanceKeys, PointerKeyFactory pointerKeys, InstanceKeyFactory iKeyFactory)
-
-
Method Details
-
makeHeapModel
- Overrides:
makeHeapModel
in classPointerAnalysisImpl
-
makeImplicitPointsToVisitor
protected PointerAnalysisImpl.ImplicitPointsToSetVisitor makeImplicitPointsToVisitor(LocalPointerKey lpk) - Overrides:
makeImplicitPointsToVisitor
in classPointerAnalysisImpl
-