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 PointerAnalysisImpl

PointerAnalysisImpl.HModel, PointerAnalysisImpl.ImplicitPointsToSetVisitor

Modifier and Type	Class	Description
protected class	PointerAnalysisImpl.HModel
static class	PointerAnalysisImpl.ImplicitPointsToSetVisitor

Field Summary

Fields inherited from class PointerAnalysisImpl

builder, pointerKeys

Modifier and Type	Field	Description
protected final PropagationCallGraphBuilder	builder
protected final PointerKeyFactory	pointerKeys	An object that abstracts how to model pointers in the heap.

Fields inherited from class AbstractPointerAnalysis

instanceKeys

Modifier and Type	Field	Description
protected final MutableMapping<InstanceKey>	instanceKeys	bijection from InstanceKey <=> Integer

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 PointerAnalysisImpl

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

Modifier and Type	Method	Description
OrdinalSet<InstanceKey>	computeImplicitPointsToSetAtGet(CGNode node, FieldReference field, int refVn, boolean isStatic)
IClassHierarchy	getClassHierarchy()
HeapModel	getHeapModel()
Iterable<PointerKey>	getPointerKeys()
OrdinalSet<InstanceKey>	getPointsToSet(PointerKey key)
boolean	isFiltered(PointerKey key)	did the pointer analysis use a type filter for a given points-to set? (this is ugly).
String	toString()

Methods inherited from class AbstractPointerAnalysis

getCallGraph, getHeapGraph, getInstanceKeyMapping, getInstanceKeys

Modifier and Type	Method	Description
protected CallGraph	getCallGraph()
HeapGraph<InstanceKey>	getHeapGraph()
OrdinalSetMapping<InstanceKey>	getInstanceKeyMapping()
Collection<InstanceKey>	getInstanceKeys()

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