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:

com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis<com.ibm.wala.ipa.callgraph.propagation.InstanceKey>

Direct Known Subclasses:

CrossLanguageSSAPropagationCallGraphBuilder.CrossLanguagePointerAnalysisImpl

Enclosing class:

AstSSAPropagationCallGraphBuilder

public static class AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl
extends com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl.AstImplicitPointsToSetVisitor

Nested classes/interfaces inherited from class com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl

com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl.HModel, com.ibm.wala.ipa.callgraph.propagation.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 and Description

AstPointerAnalysisImpl(com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder builder, com.ibm.wala.ipa.callgraph.CallGraph cg, com.ibm.wala.ipa.callgraph.propagation.PointsToMap pointsToMap, com.ibm.wala.util.intset.MutableMapping<com.ibm.wala.ipa.callgraph.propagation.InstanceKey> instanceKeys, com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory pointerKeys, com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory iKeyFactory)

Method Summary

Modifier and Type	Method and Description
protected com.ibm.wala.ipa.callgraph.propagation.HeapModel	makeHeapModel()
protected com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl.ImplicitPointsToSetVisitor	makeImplicitPointsToVisitor(com.ibm.wala.ipa.callgraph.propagation.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 Detail

AstPointerAnalysisImpl

public AstPointerAnalysisImpl(com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder builder,
                              com.ibm.wala.ipa.callgraph.CallGraph cg,
                              com.ibm.wala.ipa.callgraph.propagation.PointsToMap pointsToMap,
                              com.ibm.wala.util.intset.MutableMapping<com.ibm.wala.ipa.callgraph.propagation.InstanceKey> instanceKeys,
                              com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory pointerKeys,
                              com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory iKeyFactory)

Method Detail

makeHeapModel

protected com.ibm.wala.ipa.callgraph.propagation.HeapModel makeHeapModel()

Overrides:

makeHeapModel in class com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl

makeImplicitPointsToVisitor

protected com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl.ImplicitPointsToSetVisitor makeImplicitPointsToVisitor(com.ibm.wala.ipa.callgraph.propagation.LocalPointerKey lpk)

Overrides:

makeImplicitPointsToVisitor in class com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl