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

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.

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

Modifier and Type	Method	Description
FlowGraph	buildFlowGraph(com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)	Build a flow graph for the program to be analysed.
protected boolean	filterFunction(com.ibm.wala.classLoader.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 Detail

PessimisticCallGraphBuilder

public PessimisticCallGraphBuilder(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

buildFlowGraph

public FlowGraph buildFlowGraph(com.ibm.wala.util.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(com.ibm.wala.classLoader.IMethod function)