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.

Author:

mschaefer

Field Summary

Fields

Modifier and Type	Field and 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 and 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

Methods

Modifier and Type	Method and 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