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)DefUsegetDU(CGNode node)IRgetIR(CGNode node)intgetNumberOfStatements(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)
-
-