Class JavaScriptFunctionApplyContextInterpreter

java.lang.Object

com.ibm.wala.ipa.callgraph.cha.ContextInsensitiveCHAContextInterpreter

com.ibm.wala.ipa.callgraph.propagation.rta.ContextInsensitiveRTAInterpreter

com.ibm.wala.ipa.callgraph.propagation.cfa.ContextInsensitiveSSAInterpreter

com.ibm.wala.cast.ipa.callgraph.AstContextInsensitiveSSAContextInterpreter

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

All Implemented Interfaces:

CHAContextInterpreter, RTAContextInterpreter, SSAContextInterpreter

public class JavaScriptFunctionApplyContextInterpreter
extends AstContextInsensitiveSSAContextInterpreter

TODO cache generated IRs

See Also:

• MDN Function.apply() docs

Field Summary

Fields inherited from class ContextInsensitiveSSAInterpreter

options

Modifier and Type	Field	Description
protected final AnalysisOptions	options

Constructor Summary

Constructors

Constructor	Description
JavaScriptFunctionApplyContextInterpreter(AnalysisOptions options, IAnalysisCacheView cache)

Method Summary

Modifier and Type	Method	Description
DefUse	getDU(CGNode node)
IR	getIR(CGNode node)
boolean	understands(CGNode node)	Does this object understand the given method? The caller had better check this before inquiring on other properties.

Methods inherited from class AstContextInsensitiveSSAContextInterpreter

iterateCallSites, iterateNewSites, understands

Modifier and Type	Method	Description
Iterator<CallSiteReference>	iterateCallSites(CGNode N)
Iterator<NewSiteReference>	iterateNewSites(CGNode N)
boolean	understands(IMethod method)

Methods inherited from class ContextInsensitiveSSAInterpreter

getCFG, getIRView, getNumberOfStatements, recordFactoryType

Modifier and Type	Method	Description
ControlFlowGraph<SSAInstruction, ISSABasicBlock>	getCFG(CGNode N)
IRView	getIRView(CGNode node)
int	getNumberOfStatements(CGNode node)
boolean	recordFactoryType(CGNode node, IClass klass)	record that the "factory" method of a node should be interpreted to allocate a particular class.

Methods inherited from class ContextInsensitiveRTAInterpreter

getAnalysisCache, iterateFieldsRead, iterateFieldsWritten

Modifier and Type	Method	Description
IAnalysisCacheView	getAnalysisCache()
Iterator<FieldReference>	iterateFieldsRead(CGNode node)
Iterator<FieldReference>	iterateFieldsWritten(CGNode node)

Methods inherited from class Object

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

Constructor Details

JavaScriptFunctionApplyContextInterpreter

public JavaScriptFunctionApplyContextInterpreter(AnalysisOptions options,
 IAnalysisCacheView cache)

Method Details

understands

public boolean understands(CGNode node)

Description copied from interface: CHAContextInterpreter

Does this object understand the given method? The caller had better check this before inquiring on other properties.

Specified by:

understands in interface CHAContextInterpreter

Overrides:

understands in class ContextInsensitiveCHAContextInterpreter

getIR

public IR getIR(CGNode node)

Specified by:

getIR in interface SSAContextInterpreter

Overrides:

getIR in class ContextInsensitiveSSAInterpreter

Returns:

the IR that models the method context, or null if it's an unmodelled native method

getDU

public DefUse getDU(CGNode node)

Specified by:

getDU in interface SSAContextInterpreter

Overrides:

getDU in class ContextInsensitiveSSAInterpreter

Returns:

DefUse for the IR that models the method context, or null if it's an unmodelled native method