public class ContextInsensitiveSSAInterpreter extends ContextInsensitiveRTAInterpreter implements SSAContextInterpreter
Modifier and Type | Field and Description |
---|---|
protected AnalysisOptions |
options |
Constructor and Description |
---|
ContextInsensitiveSSAInterpreter(AnalysisOptions options,
AnalysisCache cache) |
Modifier and Type | Method and Description |
---|---|
ControlFlowGraph<SSAInstruction,ISSABasicBlock> |
getCFG(CGNode N) |
DefUse |
getDU(CGNode node) |
IR |
getIR(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.
|
getAnalysisCache, iterateFieldsRead, iterateFieldsWritten, iterateNewSites
iterateCallSites, understands
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
iterateFieldsRead, iterateFieldsWritten, iterateNewSites
iterateCallSites, understands
protected final AnalysisOptions options
public ContextInsensitiveSSAInterpreter(AnalysisOptions options, AnalysisCache cache)
public IR getIR(CGNode node)
getIR
in interface SSAContextInterpreter
public int getNumberOfStatements(CGNode node)
getNumberOfStatements
in interface SSAContextInterpreter
public boolean recordFactoryType(CGNode node, IClass klass)
RTAContextInterpreter
recordFactoryType
in interface RTAContextInterpreter
recordFactoryType
in class ContextInsensitiveRTAInterpreter
public ControlFlowGraph<SSAInstruction,ISSABasicBlock> getCFG(CGNode N)
getCFG
in interface SSAContextInterpreter
public DefUse getDU(CGNode node)
getDU
in interface SSAContextInterpreter