Interface SSAContextInterpreter
-
- All Superinterfaces:
CHAContextInterpreter
,RTAContextInterpreter
- All Known Implementing Classes:
AbstractReflectionInterpreter
,AstContextInsensitiveSSAContextInterpreter
,ClassFactoryContextInterpreter
,ClassNewInstanceContextInterpreter
,CloneInterpreter
,ContextInsensitiveRTAInterpreter
,ContextInsensitiveSSAInterpreter
,DefaultSSAInterpreter
,DelegatingSSAContextInterpreter
,DexIContextInterpreter
,FactoryBypassInterpreter
,FallbackContextInterpreter
,GetClassContextInterpeter
,GetMethodContextInterpreter
,IntentContextInterpreter
,JavaLangClassContextInterpreter
,MethodHandles.ContextInterpreterImpl
,ReflectiveInvocationInterpreter
public interface SSAContextInterpreter extends RTAContextInterpreter
An object that provides an interface to local method information needed for CFA.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method 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.cha.CHAContextInterpreter
iterateCallSites, understands
-
Methods inherited from interface com.ibm.wala.ipa.callgraph.propagation.rta.RTAContextInterpreter
iterateFieldsRead, iterateFieldsWritten, iterateNewSites, recordFactoryType
-
-
-
-
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)
-
-