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

Class FieldBasedCallGraphBuilder

java.lang.Object

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

Direct Known Subclasses:

OptimisticCallgraphBuilder, PessimisticCallGraphBuilder, WorklistBasedOptimisticCallgraphBuilder

public abstract class FieldBasedCallGraphBuilder
extends Object

Abstract call graph builder class for building a call graph from a field-based flow graph. The algorithm for building the flow graph is left unspecified, and is implemented differently by subclasses.

Author:

mschaefer

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	FieldBasedCallGraphBuilder.CallGraphResult	Full result of call graph computation

Field Summary

Fields

Modifier and Type	Field	Description
protected final IAnalysisCacheView	cache
protected final IClassHierarchy	cha
protected final JavaScriptConstructorFunctions	constructors
protected final AnalysisOptions	options
protected final boolean	supportFullPointerAnalysis
final MethodTargetSelector	targetSelector

Constructor Summary

Constructors

Constructor	Description
FieldBasedCallGraphBuilder(IClassHierarchy cha, AnalysisOptions options, IAnalysisCacheView iAnalysisCacheView, boolean supportFullPointerAnalysis)

Method Summary

Modifier and Type	Method	Description
boolean	addEdgeToJSCallGraph(JSCallGraph cg, CallSiteReference site, IMethod target, CGNode caller)
FieldBasedCallGraphBuilder.CallGraphResult	buildCallGraph(Iterable<? extends Entrypoint> eps, MonitorUtil.IProgressMonitor monitor)	Main entry point: builds a flow graph, then extracts a call graph and returns it.
abstract FlowGraph	buildFlowGraph(MonitorUtil.IProgressMonitor monitor)	Build a flow graph for the program to be analysed.
JSCallGraph	extract(FlowGraph flowgraph, Iterable<? extends Entrypoint> eps, MonitorUtil.IProgressMonitor monitor)	Extract a call graph from a given flow graph.
JSCallGraph	extract(SSAContextInterpreter interpreter, FlowGraph flowgraph, Iterable<? extends Entrypoint> eps, MonitorUtil.IProgressMonitor monitor)
Set<Pair<CallVertex,FuncVertex>>	extractCallGraphEdges(FlowGraph flowgraph, MonitorUtil.IProgressMonitor monitor)	Extract call edges from the flow graph into high-level representation.
protected FlowGraph	flowGraphFactory()
boolean	handleFunctionCallOrApplyInvocation(FlowGraph flowgraph, MonitorUtil.IProgressMonitor monitor, JSCallGraph cg, CallVertex callVertex, CGNode caller, CallSiteReference site, IMethod target)

Methods inherited from class java.lang.Object

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

Field Details

cha

protected final IClassHierarchy cha

options

protected final AnalysisOptions options

cache

protected final IAnalysisCacheView cache

constructors

protected final JavaScriptConstructorFunctions constructors

targetSelector

public final MethodTargetSelector targetSelector

supportFullPointerAnalysis

protected final boolean supportFullPointerAnalysis

Constructor Details

FieldBasedCallGraphBuilder

public FieldBasedCallGraphBuilder(IClassHierarchy cha,
 AnalysisOptions options,
 IAnalysisCacheView iAnalysisCacheView,
 boolean supportFullPointerAnalysis)

Method Details

flowGraphFactory

protected FlowGraph flowGraphFactory()

buildFlowGraph

public abstract FlowGraph buildFlowGraph(MonitorUtil.IProgressMonitor monitor)
                                  throws CancelException

Build a flow graph for the program to be analysed.

Throws:

CancelException

buildCallGraph

public FieldBasedCallGraphBuilder.CallGraphResult buildCallGraph(Iterable<? extends Entrypoint> eps,
 MonitorUtil.IProgressMonitor monitor)
                                                          throws CancelException

Main entry point: builds a flow graph, then extracts a call graph and returns it.

Throws:

CancelException

extract

public JSCallGraph extract(FlowGraph flowgraph,
 Iterable<? extends Entrypoint> eps,
 MonitorUtil.IProgressMonitor monitor)
                    throws CancelException

Extract a call graph from a given flow graph.

Throws:

CancelException

extract

public JSCallGraph extract(SSAContextInterpreter interpreter,
 FlowGraph flowgraph,
 Iterable<? extends Entrypoint> eps,
 MonitorUtil.IProgressMonitor monitor)
                    throws CancelException

Throws:

CancelException

handleFunctionCallOrApplyInvocation

public boolean handleFunctionCallOrApplyInvocation(FlowGraph flowgraph,
 MonitorUtil.IProgressMonitor monitor,
 JSCallGraph cg,
 CallVertex callVertex,
 CGNode caller,
 CallSiteReference site,
 IMethod target)
                                            throws CancelException

Throws:

CancelException

addEdgeToJSCallGraph

public boolean addEdgeToJSCallGraph(JSCallGraph cg,
 CallSiteReference site,
 IMethod target,
 CGNode caller)
                             throws CancelException

Throws:

CancelException

extractCallGraphEdges

public Set<Pair<CallVertex,FuncVertex>> extractCallGraphEdges(FlowGraph flowgraph,
 MonitorUtil.IProgressMonitor monitor)
                                                       throws CancelException

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

Throws:

CancelException