Class PessimisticCallGraphBuilder

java.lang.Object

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

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

public class PessimisticCallGraphBuilder
extends FieldBasedCallGraphBuilder

Call graph builder for building pessimistic call graphs, where inter-procedural flows are not tracked except in the trivial case of local calls. This builder is fast, but in general less sound than OptimisticCallgraphBuilder.

Author:

mschaefer

Nested Class Summary

Nested classes/interfaces inherited from class FieldBasedCallGraphBuilder

FieldBasedCallGraphBuilder.CallGraphResult

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

Field Summary

Fields inherited from class FieldBasedCallGraphBuilder

cache, cha, constructors, options, supportFullPointerAnalysis, targetSelector

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
PessimisticCallGraphBuilder(IClassHierarchy cha, AnalysisOptions options, IAnalysisCacheView iAnalysisCacheView, boolean supportFullPointerAnalysis)

Method Summary

Modifier and Type	Method	Description
FlowGraph	buildFlowGraph(MonitorUtil.IProgressMonitor monitor)	Build a flow graph for the program to be analysed.
protected boolean	filterFunction(IMethod function)

Methods inherited from class FieldBasedCallGraphBuilder

addEdgeToJSCallGraph, buildCallGraph, extract, extract, extractCallGraphEdges, flowGraphFactory, handleFunctionCallOrApplyInvocation

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

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

Constructor Details

PessimisticCallGraphBuilder

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

Method Details

buildFlowGraph

public FlowGraph buildFlowGraph(MonitorUtil.IProgressMonitor monitor)

Description copied from class: FieldBasedCallGraphBuilder

Build a flow graph for the program to be analysed.

Specified by:

buildFlowGraph in class FieldBasedCallGraphBuilder

filterFunction

protected boolean filterFunction(IMethod function)