Class JSSSAPropagationCallGraphBuilder.JSPointerAnalysisImpl

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.js.ipa.callgraph.JSSSAPropagationCallGraphBuilder.JSPointerAnalysisImpl

All Implemented Interfaces:

PointerAnalysis<InstanceKey>

Enclosing class:

JSSSAPropagationCallGraphBuilder

public static class JSSSAPropagationCallGraphBuilder.JSPointerAnalysisImpl
extends AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	JSSSAPropagationCallGraphBuilder.JSPointerAnalysisImpl.JSImplicitPointsToSetVisitor

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

Method Summary

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

Methods 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

Methods inherited from class java.lang.Object

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

Method Details

makeImplicitPointsToVisitor

protected PointerAnalysisImpl.ImplicitPointsToSetVisitor makeImplicitPointsToVisitor(LocalPointerKey lpk)

Overrides:

makeImplicitPointsToVisitor in class AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl