Package org.scandroid.prefixtransfer

Class UriPrefixContextSelector

java.lang.Object

com.ibm.wala.ipa.callgraph.impl.DefaultContextSelector

org.scandroid.prefixtransfer.UriPrefixContextSelector

All Implemented Interfaces:

ContextSelector

public class UriPrefixContextSelector
extends DefaultContextSelector

Constructor Summary

Constructors

Constructor	Description
UriPrefixContextSelector(AnalysisOptions options, IClassHierarchy cha)

Method Summary

Modifier and Type	Method	Description
Context	getCalleeTarget(CGNode caller, CallSiteReference site, IMethod callee, InstanceKey[] receivers)	Given a calling node and a call site, returns the Context in which the callee should be evaluated.
IntSet	getRelevantParameters(CGNode node, CallSiteReference call)	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

Constructor Details

UriPrefixContextSelector

public UriPrefixContextSelector(AnalysisOptions options,
 IClassHierarchy cha)

Method Details

getCalleeTarget

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

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

Overrides:

getCalleeTarget in class DefaultContextSelector

Parameters:

caller - the node containing the call site

site - description of the call site

receivers - 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 node,
 CallSiteReference call)

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

Overrides:

getRelevantParameters in class DefaultContextSelector

Parameters:

node - the calling node

call - the specific call site

Returns:

the set of parameters of interest