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

Class OptimisticCallgraphBuilder

java.lang.Object

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

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

public class OptimisticCallgraphBuilder
extends FieldBasedCallGraphBuilder

Optimistic call graph builder that propagates inter-procedural data flow iteratively as call edges are discovered. Slower, but potentially more sound than PessimisticCallGraphBuilder.

Nested Class Summary

Nested classes/interfaces inherited from class com.ibm.wala.cast.js.callgraph.fieldbased.FieldBasedCallGraphBuilder

FieldBasedCallGraphBuilder.CallGraphResult

Field Summary

Fields

Modifier and Type	Field	Description
int	ITERATION_CUTOFF	The maximum number of iterations to perform.

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

cache, cha, constructors, options, supportFullPointerAnalysis, targetSelector

Constructor Summary

Constructors

Constructor	Description
OptimisticCallgraphBuilder(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.

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

Field Detail

ITERATION_CUTOFF

public int ITERATION_CUTOFF

The maximum number of iterations to perform.

Constructor Detail

OptimisticCallgraphBuilder

public OptimisticCallgraphBuilder(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)
                         throws com.ibm.wala.util.CancelException

Description copied from class: FieldBasedCallGraphBuilder

Build a flow graph for the program to be analysed.

Specified by:

buildFlowGraph in class FieldBasedCallGraphBuilder

Throws:

com.ibm.wala.util.CancelException