public class WorklistBasedOptimisticCallgraphBuilder extends FieldBasedCallGraphBuilder
PessimisticCallGraphBuilder.
This variant uses a worklist algorithm, generally making it scale better than
OptimisticCallgraphBuilder, which repeatedly runs the pessimistic algorithm.| Modifier and Type | Field and Description |
|---|---|
int |
ITERATION_CUTOFF
The maximum number of iterations to perform.
|
cache, cha, constructors, options, supportFullPointerAnalysis, targetSelector| Constructor and Description |
|---|
WorklistBasedOptimisticCallgraphBuilder(com.ibm.wala.ipa.cha.IClassHierarchy cha,
com.ibm.wala.ipa.callgraph.AnalysisOptions options,
com.ibm.wala.ipa.callgraph.AnalysisCache cache,
boolean supportFullPointerAnalysis) |
| Modifier and Type | Method and Description |
|---|---|
void |
addFlowEdge(FlowGraph flowgraph,
Vertex from,
Vertex to,
Set<Vertex> worklist) |
FlowGraph |
buildFlowGraph(com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
Build a flow graph for the program to be analysed.
|
Set<com.ibm.wala.util.collections.Pair<CallVertex,FuncVertex>> |
extractCallGraphEdges(FlowGraph flowgraph,
com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
Extract call edges from the flow graph into high-level representation.
|
addEdgeToJSCallGraph, buildCallGraph, extract, extract, flowGraphFactory, handleFunctionCallOrApplyInvocationpublic int ITERATION_CUTOFF
public WorklistBasedOptimisticCallgraphBuilder(com.ibm.wala.ipa.cha.IClassHierarchy cha,
com.ibm.wala.ipa.callgraph.AnalysisOptions options,
com.ibm.wala.ipa.callgraph.AnalysisCache cache,
boolean supportFullPointerAnalysis)
public FlowGraph buildFlowGraph(com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor) throws com.ibm.wala.util.CancelException
FieldBasedCallGraphBuilderbuildFlowGraph in class FieldBasedCallGraphBuildercom.ibm.wala.util.CancelExceptionpublic Set<com.ibm.wala.util.collections.Pair<CallVertex,FuncVertex>> extractCallGraphEdges(FlowGraph flowgraph, com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor) throws com.ibm.wala.util.CancelException
FieldBasedCallGraphBuilderextractCallGraphEdges in class FieldBasedCallGraphBuildercom.ibm.wala.util.CancelExceptionCopyright © 2017. All rights reserved.