com.ibm.wala.ipa.callgraph.propagation

Interface SSAContextInterpreter

All Superinterfaces:

CHAContextInterpreter, RTAContextInterpreter

All Known Implementing Classes:

AbstractReflectionInterpreter, ClassFactoryContextInterpreter, ClassNewInstanceContextInterpreter, CloneInterpreter, ContextInsensitiveRTAInterpreter, ContextInsensitiveSSAInterpreter, DefaultSSAInterpreter, DelegatingSSAContextInterpreter, FactoryBypassInterpreter, FallbackContextInterpreter, GetClassContextInterpeter, GetMethodContextInterpreter, JavaLangClassContextInterpreter, MethodHandles.ContextInterpreterImpl, ReflectiveInvocationInterpreter

public interface SSAContextInterpreter
extends RTAContextInterpreter

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

Method Summary

Methods

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

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

iterateFieldsRead, iterateFieldsWritten, iterateNewSites, recordFactoryType

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

iterateCallSites, understands

Method Detail

getIR

IR getIR(CGNode node)

Returns:

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

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)