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 com.ibm.wala.cast.js.callgraph.fieldbased.FieldBasedCallGraphBuilder

FieldBasedCallGraphBuilder.CallGraphResult

Field Summary

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

cache, cha, constructors, options, supportFullPointerAnalysis, 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 com.ibm.wala.cast.js.callgraph.fieldbased.FieldBasedCallGraphBuilder

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

Methods inherited from class java.lang.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)