com.ibm.wala.cast.js.ipa.callgraph

Class PropertyNameContextSelector

java.lang.Object

com.ibm.wala.cast.js.ipa.callgraph.PropertyNameContextSelector

All Implemented Interfaces:

com.ibm.wala.ipa.callgraph.ContextSelector

public class PropertyNameContextSelector
extends Object
implements com.ibm.wala.ipa.callgraph.ContextSelector

A context selector that applies object sensitivity for the i'th parameter if it is used as a property name in a dynamic property access. Works together with CorrelationFinder and ClosureExtractor to implement correlation tracking.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	PropertyNameContextSelector.PropNameContext Context representing a particular name accessed by a correlated read/write pair.

Field Summary

Fields

Modifier and Type	Field and Description
static com.ibm.wala.ipa.callgraph.ContextKey	INSTANCE_KEY_KEY
static com.ibm.wala.ipa.callgraph.ContextKey	PROPNAME_KEY
static com.ibm.wala.ipa.callgraph.ContextItem	PROPNAME_MARKER
static com.ibm.wala.ipa.callgraph.ContextKey	PROPNAME_PARM_INDEX

Constructor Summary

Constructors

Constructor and Description
PropertyNameContextSelector(com.ibm.wala.ipa.callgraph.IAnalysisCacheView cache, com.ibm.wala.ipa.callgraph.ContextSelector base)
PropertyNameContextSelector(com.ibm.wala.ipa.callgraph.IAnalysisCacheView cache, int index, com.ibm.wala.ipa.callgraph.ContextSelector base)

Method Summary

Methods

Modifier and Type	Method and Description
com.ibm.wala.ipa.callgraph.Context	getCalleeTarget(com.ibm.wala.ipa.callgraph.CGNode caller, com.ibm.wala.classLoader.CallSiteReference site, com.ibm.wala.classLoader.IMethod callee, com.ibm.wala.ipa.callgraph.propagation.InstanceKey[] receiver)
com.ibm.wala.util.intset.IntSet	getRelevantParameters(com.ibm.wala.ipa.callgraph.CGNode caller, com.ibm.wala.classLoader.CallSiteReference site)

Methods inherited from class java.lang.Object

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

Field Detail

PROPNAME_KEY

public static final com.ibm.wala.ipa.callgraph.ContextKey PROPNAME_KEY

PROPNAME_MARKER

public static final com.ibm.wala.ipa.callgraph.ContextItem PROPNAME_MARKER

PROPNAME_PARM_INDEX

public static final com.ibm.wala.ipa.callgraph.ContextKey PROPNAME_PARM_INDEX

INSTANCE_KEY_KEY

public static final com.ibm.wala.ipa.callgraph.ContextKey INSTANCE_KEY_KEY

Constructor Detail

PropertyNameContextSelector

public PropertyNameContextSelector(com.ibm.wala.ipa.callgraph.IAnalysisCacheView cache,
                           com.ibm.wala.ipa.callgraph.ContextSelector base)

PropertyNameContextSelector

public PropertyNameContextSelector(com.ibm.wala.ipa.callgraph.IAnalysisCacheView cache,
                           int index,
                           com.ibm.wala.ipa.callgraph.ContextSelector base)

Method Detail

getCalleeTarget

public com.ibm.wala.ipa.callgraph.Context getCalleeTarget(com.ibm.wala.ipa.callgraph.CGNode caller,
                                                 com.ibm.wala.classLoader.CallSiteReference site,
                                                 com.ibm.wala.classLoader.IMethod callee,
                                                 com.ibm.wala.ipa.callgraph.propagation.InstanceKey[] receiver)

Specified by:

getCalleeTarget in interface com.ibm.wala.ipa.callgraph.ContextSelector

getRelevantParameters

public com.ibm.wala.util.intset.IntSet getRelevantParameters(com.ibm.wala.ipa.callgraph.CGNode caller,
                                                    com.ibm.wala.classLoader.CallSiteReference site)

Specified by:

getRelevantParameters in interface com.ibm.wala.ipa.callgraph.ContextSelector