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, JSSSAPropagationCallGraphBuilder.JSPointerAnalysisImpl

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

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

Methods inherited from class java.lang.Object

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

Constructor Details

AstPointerAnalysisImpl

public AstPointerAnalysisImpl(PropagationCallGraphBuilder builder,
 CallGraph cg,
 PointsToMap pointsToMap,
 MutableMapping<InstanceKey> instanceKeys,
 PointerKeyFactory pointerKeys,
 InstanceKeyFactory iKeyFactory)

Method Details

makeHeapModel

protected HeapModel makeHeapModel()

Overrides:

makeHeapModel in class PointerAnalysisImpl

makeImplicitPointsToVisitor

protected PointerAnalysisImpl.ImplicitPointsToSetVisitor makeImplicitPointsToVisitor(LocalPointerKey lpk)

Overrides:

makeImplicitPointsToVisitor in class PointerAnalysisImpl