Package com.ibm.wala.cast.js.callgraph.fieldbased

Class WorklistBasedOptimisticCallgraphBuilder

java.lang.Object

com.ibm.wala.cast.js.callgraph.fieldbased.FieldBasedCallGraphBuilder

com.ibm.wala.cast.js.callgraph.fieldbased.WorklistBasedOptimisticCallgraphBuilder

public class WorklistBasedOptimisticCallgraphBuilder
extends FieldBasedCallGraphBuilder

Optimistic call graph builder that propagates inter-procedural data flow iteratively as call edges are discovered. Slower, but potentially more sound than PessimisticCallGraphBuilder.

This variant uses a worklist algorithm, generally making it scale better than OptimisticCallgraphBuilder, which repeatedly runs the pessimistic algorithm.

Nested Class Summary

Nested classes/interfaces inherited from class com.ibm.wala.cast.js.callgraph.fieldbased.FieldBasedCallGraphBuilder

FieldBasedCallGraphBuilder.CallGraphResult

Field Summary

Fields

Modifier and Type	Field	Description
int	ITERATION_CUTOFF	The maximum number of iterations to perform.

Fields inherited from class com.ibm.wala.cast.js.callgraph.fieldbased.FieldBasedCallGraphBuilder

cache, cha, constructors, options, supportFullPointerAnalysis, targetSelector

Constructor Summary

Constructors

Constructor	Description
WorklistBasedOptimisticCallgraphBuilder(com.ibm.wala.ipa.cha.IClassHierarchy cha, com.ibm.wala.ipa.callgraph.AnalysisOptions options, com.ibm.wala.ipa.callgraph.IAnalysisCacheView cache, boolean supportFullPointerAnalysis, int bound)

Method Summary

Modifier and Type	Method	Description
void	addFlowEdge(FlowGraph flowgraph, Vertex from, Vertex to, java.util.Set<Vertex> worklist)
FlowGraph	buildFlowGraph(com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)	Build a flow graph for the program to be analysed.
java.util.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.
void	processPendingCallWorklist(FlowGraph flowgraph, java.util.Map<Vertex,java.util.Set<FuncVertex>> pendingCallWorklist, VertexFactory factory, java.util.Map<Vertex,java.util.Set<FuncVertex>> reachingFunctions, java.util.Map<VarVertex,com.ibm.wala.util.collections.Pair<JavaScriptInvoke,java.lang.Boolean>> reflectiveCalleeVertices, java.util.Set<Vertex> worklist)
void	processPendingReflectiveCallWorklist(FlowGraph flowgraph, java.util.Map<Vertex,java.util.Set<FuncVertex>> pendingReflectiveCallWorklist, java.util.Map<VarVertex,com.ibm.wala.util.collections.Pair<JavaScriptInvoke,java.lang.Boolean>> reflectiveCalleeVertices, java.util.Set<Vertex> worklist)

Methods inherited from class com.ibm.wala.cast.js.callgraph.fieldbased.FieldBasedCallGraphBuilder

addEdgeToJSCallGraph, buildCallGraph, extract, extract, flowGraphFactory, handleFunctionCallOrApplyInvocation

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

ITERATION_CUTOFF

public int ITERATION_CUTOFF

The maximum number of iterations to perform.

Constructor Detail

WorklistBasedOptimisticCallgraphBuilder

public WorklistBasedOptimisticCallgraphBuilder(com.ibm.wala.ipa.cha.IClassHierarchy cha,
                                               com.ibm.wala.ipa.callgraph.AnalysisOptions options,
                                               com.ibm.wala.ipa.callgraph.IAnalysisCacheView cache,
                                               boolean supportFullPointerAnalysis,
                                               int bound)

Method Detail

buildFlowGraph

public FlowGraph buildFlowGraph(com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
                         throws com.ibm.wala.util.CancelException

Description copied from class: FieldBasedCallGraphBuilder

Build a flow graph for the program to be analysed.

Specified by:

buildFlowGraph in class FieldBasedCallGraphBuilder

Throws:

com.ibm.wala.util.CancelException

extractCallGraphEdges

public java.util.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

Description copied from class: FieldBasedCallGraphBuilder

Extract call edges from the flow graph into high-level representation.

Overrides:

extractCallGraphEdges in class FieldBasedCallGraphBuilder

Throws:

com.ibm.wala.util.CancelException

processPendingCallWorklist

public void processPendingCallWorklist(FlowGraph flowgraph,
                                       java.util.Map<Vertex,java.util.Set<FuncVertex>> pendingCallWorklist,
                                       VertexFactory factory,
                                       java.util.Map<Vertex,java.util.Set<FuncVertex>> reachingFunctions,
                                       java.util.Map<VarVertex,com.ibm.wala.util.collections.Pair<JavaScriptInvoke,java.lang.Boolean>> reflectiveCalleeVertices,
                                       java.util.Set<Vertex> worklist)

processPendingReflectiveCallWorklist

public void processPendingReflectiveCallWorklist(FlowGraph flowgraph,
                                                 java.util.Map<Vertex,java.util.Set<FuncVertex>> pendingReflectiveCallWorklist,
                                                 java.util.Map<VarVertex,com.ibm.wala.util.collections.Pair<JavaScriptInvoke,java.lang.Boolean>> reflectiveCalleeVertices,
                                                 java.util.Set<Vertex> worklist)

addFlowEdge

public void addFlowEdge(FlowGraph flowgraph,
                        Vertex from,
                        Vertex to,
                        java.util.Set<Vertex> worklist)