public class ContextSensitiveReachingDefs
extends java.lang.Object
tabulation.| Constructor and Description |
|---|
ContextSensitiveReachingDefs(CallGraph cg) |
| Modifier and Type | Method and Description |
|---|---|
TabulationResult<BasicBlockInContext<IExplodedBasicBlock>,CGNode,com.ibm.wala.util.collections.Pair<CGNode,java.lang.Integer>> |
analyze()
perform the tabulation analysis and return the
TabulationResult |
TabulationDomain<com.ibm.wala.util.collections.Pair<CGNode,java.lang.Integer>,BasicBlockInContext<IExplodedBasicBlock>> |
getDomain() |
ISupergraph<BasicBlockInContext<IExplodedBasicBlock>,CGNode> |
getSupergraph() |
public ContextSensitiveReachingDefs(CallGraph cg)
public TabulationResult<BasicBlockInContext<IExplodedBasicBlock>,CGNode,com.ibm.wala.util.collections.Pair<CGNode,java.lang.Integer>> analyze()
TabulationResultpublic ISupergraph<BasicBlockInContext<IExplodedBasicBlock>,CGNode> getSupergraph()
public TabulationDomain<com.ibm.wala.util.collections.Pair<CGNode,java.lang.Integer>,BasicBlockInContext<IExplodedBasicBlock>> getDomain()