Class PropertyNameContextSelector

java.lang.Object

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

All Implemented Interfaces:

ContextSelector

public class PropertyNameContextSelector
extends Object
implements 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	Description
class	PropertyNameContextSelector.PropNameContext	Context representing a particular name accessed by a correlated read/write pair.

Field Summary

Fields

Modifier and Type	Field	Description
static final ContextKey	INSTANCE_KEY_KEY
static final ContextKey	PROPNAME_KEY
static final ContextItem	PROPNAME_MARKER
static final ContextKey	PROPNAME_PARM_INDEX

Constructor Summary

Constructors

Constructor	Description
PropertyNameContextSelector(IAnalysisCacheView cache, int index, ContextSelector base)
PropertyNameContextSelector(IAnalysisCacheView cache, ContextSelector base)

Method Summary

Modifier and Type	Method	Description
Context	getCalleeTarget(CGNode caller, CallSiteReference site, IMethod callee, InstanceKey[] receiver)	Given a calling node and a call site, returns the Context in which the callee should be evaluated.
IntSet	getRelevantParameters(CGNode caller, CallSiteReference site)	Given a calling node and a call site, return the set of parameters based on which this selector may choose to specialize contexts.

Methods inherited from class java.lang.Object

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

Field Details

PROPNAME_KEY

public static final ContextKey PROPNAME_KEY

PROPNAME_MARKER

public static final ContextItem PROPNAME_MARKER

PROPNAME_PARM_INDEX

public static final ContextKey PROPNAME_PARM_INDEX

INSTANCE_KEY_KEY

public static final ContextKey INSTANCE_KEY_KEY

Constructor Details

PropertyNameContextSelector

public PropertyNameContextSelector(IAnalysisCacheView cache,
 ContextSelector base)

PropertyNameContextSelector

public PropertyNameContextSelector(IAnalysisCacheView cache,
 int index,
 ContextSelector base)

Method Details

getCalleeTarget

public Context getCalleeTarget(CGNode caller,
 CallSiteReference site,
 IMethod callee,
 InstanceKey[] receiver)

Description copied from interface: ContextSelector

Given a calling node and a call site, returns the Context in which the callee should be evaluated.

Specified by:

getCalleeTarget in interface ContextSelector

Parameters:

caller - the node containing the call site

site - description of the call site

receiver - the abstract objects (InstanceKeys) of parameters of interest to the selector

Returns:

the Context in which the callee should be evaluated, or null if no information is available.

getRelevantParameters

public IntSet getRelevantParameters(CGNode caller,
 CallSiteReference site)

Description copied from interface: ContextSelector

Given a calling node and a call site, return the set of parameters based on which this selector may choose to specialize contexts.

Specified by:

getRelevantParameters in interface ContextSelector

Parameters:

caller - the calling node

site - the specific call site

Returns:

the set of parameters of interest