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 AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl

AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl.AstImplicitPointsToSetVisitor

Nested classes/interfaces inherited from class PointerAnalysisImpl

PointerAnalysisImpl.HModel, PointerAnalysisImpl.ImplicitPointsToSetVisitor

Field Summary

Fields inherited from class PointerAnalysisImpl

builder, pointerKeys

Fields inherited from class 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

Modifier and Type	Method	Description
protected PointerAnalysisImpl.ImplicitPointsToSetVisitor	makeImplicitPointsToVisitor(LocalPointerKey lpk)

Methods inherited from class AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl

makeHeapModel

Methods inherited from class PointerAnalysisImpl

computeImplicitPointsToSetAtGet, getClassHierarchy, getHeapModel, getPointerKeys, getPointsToSet, isFiltered, toString

Methods inherited from class AbstractPointerAnalysis

getCallGraph, getHeapGraph, getInstanceKeyMapping, getInstanceKeys

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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 class AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl