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
ModifierConstructorDescriptionprotected
CrossLanguagePointerAnalysisImpl
(CrossLanguageSSAPropagationCallGraphBuilder builder, CallGraph cg, PointsToMap pointsToMap, MutableMapping<InstanceKey> instanceKeys, PointerKeyFactory pointerKeys, InstanceKeyFactory iKeyFactory) -
Method Summary
Modifier and TypeMethodDescriptionMethods 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 Details
-
CrossLanguagePointerAnalysisImpl
protected CrossLanguagePointerAnalysisImpl(CrossLanguageSSAPropagationCallGraphBuilder builder, CallGraph cg, PointsToMap pointsToMap, MutableMapping<InstanceKey> instanceKeys, PointerKeyFactory pointerKeys, InstanceKeyFactory iKeyFactory)
-
-
Method Details
-
makeImplicitPointsToVisitor
protected PointerAnalysisImpl.ImplicitPointsToSetVisitor makeImplicitPointsToVisitor(LocalPointerKey lpk) - Overrides:
makeImplicitPointsToVisitor
in classAstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl
-