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.

Author:

mschaefer

Field Summary

Fields

Modifier and Type	Field and 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 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)

Method Summary

Methods

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.

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.AnalysisCache cache,
                                       boolean supportFullPointerAnalysis)

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 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

addFlowEdge

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