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 thanPessimisticCallGraphBuilder.
-
-
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 intITERATION_CUTOFFThe 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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description FlowGraphbuildFlowGraph(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
-
-
-
-
Method Detail
-
buildFlowGraph
public FlowGraph buildFlowGraph(com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor) throws com.ibm.wala.util.CancelException
Description copied from class:FieldBasedCallGraphBuilderBuild a flow graph for the program to be analysed.- Specified by:
buildFlowGraphin classFieldBasedCallGraphBuilder- Throws:
com.ibm.wala.util.CancelException
-
-