Package com.ibm.wala.cast.ipa.callgraph
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
- Enclosing class:
- AstSSAPropagationCallGraphBuilder
public static class AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl extends PointerAnalysisImpl
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl.AstImplicitPointsToSetVisitor
-
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
Constructors Constructor Description AstPointerAnalysisImpl(PropagationCallGraphBuilder builder, CallGraph cg, PointsToMap pointsToMap, MutableMapping<InstanceKey> instanceKeys, PointerKeyFactory pointerKeys, InstanceKeyFactory iKeyFactory)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected HeapModel
makeHeapModel()
protected PointerAnalysisImpl.ImplicitPointsToSetVisitor
makeImplicitPointsToVisitor(LocalPointerKey lpk)
-
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 Detail
-
AstPointerAnalysisImpl
public AstPointerAnalysisImpl(PropagationCallGraphBuilder builder, CallGraph cg, PointsToMap pointsToMap, MutableMapping<InstanceKey> instanceKeys, PointerKeyFactory pointerKeys, InstanceKeyFactory iKeyFactory)
-
-
Method Detail
-
makeHeapModel
protected HeapModel makeHeapModel()
- Overrides:
makeHeapModel
in classPointerAnalysisImpl
-
makeImplicitPointsToVisitor
protected PointerAnalysisImpl.ImplicitPointsToSetVisitor makeImplicitPointsToVisitor(LocalPointerKey lpk)
- Overrides:
makeImplicitPointsToVisitor
in classPointerAnalysisImpl
-
-