Package com.ibm.wala.ipa.callgraph.propagation

Interface SSAContextInterpreter

All Superinterfaces:

CHAContextInterpreter, RTAContextInterpreter

All Known Implementing Classes:

AbstractReflectionInterpreter, ArgumentSpecialization.ArgumentSpecializationContextIntepreter, AstContextInsensitiveSSAContextInterpreter, ClassFactoryContextInterpreter, ClassNewInstanceContextInterpreter, CloneInterpreter, ContextInsensitiveRTAInterpreter, ContextInsensitiveSSAInterpreter, DefaultSSAInterpreter, DelegatingSSAContextInterpreter, DexIContextInterpreter, FactoryBypassInterpreter, FallbackContextInterpreter, GetClassContextInterpeter, GetMethodContextInterpreter, IntentContextInterpreter, JavaLangClassContextInterpreter, JavaScriptFunctionApplyContextInterpreter, ReflectiveInvocationInterpreter

public interface SSAContextInterpreter
extends RTAContextInterpreter

An object that provides an interface to local method information needed for CFA.

Method Summary

Modifier and Type	Method	Description
ControlFlowGraph<SSAInstruction,ISSABasicBlock>	getCFG(CGNode n)
DefUse	getDU(CGNode node)
IR	getIR(CGNode node)
IRView	getIRView(CGNode node)
int	getNumberOfStatements(CGNode node)

Methods inherited from interface com.ibm.wala.ipa.callgraph.cha.CHAContextInterpreter

iterateCallSites, understands

Methods inherited from interface com.ibm.wala.ipa.callgraph.propagation.rta.RTAContextInterpreter

iterateFieldsRead, iterateFieldsWritten, iterateNewSites, recordFactoryType

Method Details

getIR

IR getIR(CGNode node)

Returns:

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

getIRView

IRView getIRView(CGNode node)

getDU

DefUse getDU(CGNode node)

Returns:

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

getNumberOfStatements

int getNumberOfStatements(CGNode node)

Returns:

the number of the statements in the IR, or -1 if it's an unmodelled native method.

getCFG

ControlFlowGraph<SSAInstruction,ISSABasicBlock> getCFG(CGNode n)