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

Field Summary

Fields

Modifier and Type	Field and Description
protected com.ibm.wala.ipa.callgraph.IAnalysisCacheView	cache
protected com.ibm.wala.ipa.cha.IClassHierarchy	cha
protected JavaScriptConstructorFunctions	constructors
protected com.ibm.wala.ipa.callgraph.AnalysisOptions	options
protected boolean	supportFullPointerAnalysis
com.ibm.wala.ipa.callgraph.MethodTargetSelector	targetSelector

Constructor Summary

Constructors

Constructor and Description
FieldBasedCallGraphBuilder(com.ibm.wala.ipa.cha.IClassHierarchy cha, com.ibm.wala.ipa.callgraph.AnalysisOptions options, com.ibm.wala.ipa.callgraph.IAnalysisCacheView iAnalysisCacheView, boolean supportFullPointerAnalysis)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	addEdgeToJSCallGraph(JSCallGraph cg, com.ibm.wala.classLoader.CallSiteReference site, com.ibm.wala.classLoader.IMethod target, com.ibm.wala.ipa.callgraph.CGNode caller)
com.ibm.wala.util.collections.Pair<JSCallGraph,com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis<ObjectVertex>>	buildCallGraph(Iterable<? extends com.ibm.wala.ipa.callgraph.Entrypoint> eps, com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor) Main entry point: builds a flow graph, then extracts a call graph and returns it.
abstract FlowGraph	buildFlowGraph(com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor) Build a flow graph for the program to be analysed.
JSCallGraph	extract(FlowGraph flowgraph, Iterable<? extends com.ibm.wala.ipa.callgraph.Entrypoint> eps, com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor) Extract a call graph from a given flow graph.
JSCallGraph	extract(com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter interpreter, FlowGraph flowgraph, Iterable<? extends com.ibm.wala.ipa.callgraph.Entrypoint> eps, com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
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.
protected FlowGraph	flowGraphFactory()
boolean	handleFunctionCallOrApplyInvocation(FlowGraph flowgraph, com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor, JSCallGraph cg, CallVertex callVertex, com.ibm.wala.ipa.callgraph.CGNode caller, com.ibm.wala.classLoader.CallSiteReference site, com.ibm.wala.classLoader.IMethod target)

Methods inherited from class java.lang.Object

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

Field Detail

cha

protected final com.ibm.wala.ipa.cha.IClassHierarchy cha

options

protected final com.ibm.wala.ipa.callgraph.AnalysisOptions options

cache

protected final com.ibm.wala.ipa.callgraph.IAnalysisCacheView cache

constructors

protected final JavaScriptConstructorFunctions constructors

targetSelector

public final com.ibm.wala.ipa.callgraph.MethodTargetSelector targetSelector

supportFullPointerAnalysis

protected final boolean supportFullPointerAnalysis

Constructor Detail

FieldBasedCallGraphBuilder

public FieldBasedCallGraphBuilder(com.ibm.wala.ipa.cha.IClassHierarchy cha,
                          com.ibm.wala.ipa.callgraph.AnalysisOptions options,
                          com.ibm.wala.ipa.callgraph.IAnalysisCacheView iAnalysisCacheView,
                          boolean supportFullPointerAnalysis)

Method Detail

flowGraphFactory

protected FlowGraph flowGraphFactory()

buildFlowGraph

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

Build a flow graph for the program to be analysed.

Throws:

com.ibm.wala.util.CancelException

buildCallGraph

public com.ibm.wala.util.collections.Pair<JSCallGraph,com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis<ObjectVertex>> buildCallGraph(Iterable<? extends com.ibm.wala.ipa.callgraph.Entrypoint> eps,
                                                                                                                                  com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
                                                                                                                                    throws com.ibm.wala.util.CancelException

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

Throws:

com.ibm.wala.util.CancelException

extract

public JSCallGraph extract(FlowGraph flowgraph,
                  Iterable<? extends com.ibm.wala.ipa.callgraph.Entrypoint> eps,
                  com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
                    throws com.ibm.wala.util.CancelException

Extract a call graph from a given flow graph.

Throws:

com.ibm.wala.util.CancelException

extract

public JSCallGraph extract(com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter interpreter,
                  FlowGraph flowgraph,
                  Iterable<? extends com.ibm.wala.ipa.callgraph.Entrypoint> eps,
                  com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
                    throws com.ibm.wala.util.CancelException

Throws:

com.ibm.wala.util.CancelException

handleFunctionCallOrApplyInvocation

public boolean handleFunctionCallOrApplyInvocation(FlowGraph flowgraph,
                                          com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor,
                                          JSCallGraph cg,
                                          CallVertex callVertex,
                                          com.ibm.wala.ipa.callgraph.CGNode caller,
                                          com.ibm.wala.classLoader.CallSiteReference site,
                                          com.ibm.wala.classLoader.IMethod target)
                                            throws com.ibm.wala.util.CancelException

Throws:

com.ibm.wala.util.CancelException

addEdgeToJSCallGraph

public boolean addEdgeToJSCallGraph(JSCallGraph cg,
                           com.ibm.wala.classLoader.CallSiteReference site,
                           com.ibm.wala.classLoader.IMethod target,
                           com.ibm.wala.ipa.callgraph.CGNode caller)
                             throws com.ibm.wala.util.CancelException

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

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

Throws:

com.ibm.wala.util.CancelException