Package com.ibm.wala.cast.ipa.callgraph
Class CrossLanguageSSAPropagationCallGraphBuilder.CrossLanguagePointerAnalysisImpl
- 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
-
- com.ibm.wala.cast.ipa.callgraph.CrossLanguageSSAPropagationCallGraphBuilder.CrossLanguagePointerAnalysisImpl
-
- All Implemented Interfaces:
PointerAnalysis<InstanceKey>
- Enclosing class:
- CrossLanguageSSAPropagationCallGraphBuilder
protected static class CrossLanguageSSAPropagationCallGraphBuilder.CrossLanguagePointerAnalysisImpl extends AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl
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 Modifier Constructor Description protected
CrossLanguagePointerAnalysisImpl(CrossLanguageSSAPropagationCallGraphBuilder 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 PointerAnalysisImpl.ImplicitPointsToSetVisitor
makeImplicitPointsToVisitor(LocalPointerKey lpk)
-
Methods inherited from class com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl
makeHeapModel
-
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
-
CrossLanguagePointerAnalysisImpl
protected CrossLanguagePointerAnalysisImpl(CrossLanguageSSAPropagationCallGraphBuilder builder, CallGraph cg, PointsToMap pointsToMap, MutableMapping<InstanceKey> instanceKeys, PointerKeyFactory pointerKeys, InstanceKeyFactory iKeyFactory)
-
-
Method Detail
-
makeImplicitPointsToVisitor
protected PointerAnalysisImpl.ImplicitPointsToSetVisitor makeImplicitPointsToVisitor(LocalPointerKey lpk)
- Overrides:
makeImplicitPointsToVisitor
in classAstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl
-
-