Class FieldBasedCGUtil

java.lang.Object

com.ibm.wala.cast.js.util.FieldBasedCGUtil

public class FieldBasedCGUtil
extends Object

Utility class for building call graphs.

Author:

mschaefer

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	FieldBasedCGUtil.BuilderType

Constructor Summary

Constructors

Constructor	Description
FieldBasedCGUtil(JavaScriptTranslatorFactory translatorFactory)

Method Summary

Modifier and Type	Method	Description
FieldBasedCallGraphBuilder.CallGraphResult	buildBoundedCG(JavaScriptLoaderFactory loaders, Module[] scripts, MonitorUtil.IProgressMonitor monitor, boolean supportFullPointerAnalysis, Integer bound)
FieldBasedCallGraphBuilder.CallGraphResult	buildCG(JavaScriptLoaderFactory loaders, Module[] scripts, FieldBasedCGUtil.BuilderType builderType, MonitorUtil.IProgressMonitor monitor, boolean supportFullPointerAnalysis)
FieldBasedCallGraphBuilder.CallGraphResult	buildCG(URL url, FieldBasedCGUtil.BuilderType builderType, boolean supportFullPointerAnalysis, Supplier<JSSourceExtractor> fExtractor)
FieldBasedCallGraphBuilder.CallGraphResult	buildCG(URL url, FieldBasedCGUtil.BuilderType builderType, MonitorUtil.IProgressMonitor monitor, boolean supportFullPointerAnalysis, Supplier<JSSourceExtractor> fExtractor)
FieldBasedCallGraphBuilder.CallGraphResult	buildPageCG(URL url, FieldBasedCGUtil.BuilderType builderType, MonitorUtil.IProgressMonitor monitor, boolean supportFullPointerAnalysis, Supplier<JSSourceExtractor> fExtractor)
FieldBasedCallGraphBuilder.CallGraphResult	buildScriptCG(URL url, FieldBasedCGUtil.BuilderType builderType, MonitorUtil.IProgressMonitor monitor, boolean supportFullPointerAnalysis)
FieldBasedCallGraphBuilder.CallGraphResult	buildScriptDirBoundedCG(Path scriptDir, MonitorUtil.IProgressMonitor monitor, boolean supportFullPointerAnalysis, Integer bound)	Construct a bounded field-based call graph using all the .js files appearing in scriptDir or any of its sub-directories
FieldBasedCallGraphBuilder.CallGraphResult	buildScriptDirCG(Path scriptDir, FieldBasedCGUtil.BuilderType builderType, MonitorUtil.IProgressMonitor monitor, boolean supportFullPointerAnalysis)	Construct a field-based call graph using all the .js files appearing in scriptDir or any of its sub-directories
FieldBasedCallGraphBuilder.CallGraphResult	buildTestCG(String dir, String name, FieldBasedCGUtil.BuilderType builderType, MonitorUtil.IProgressMonitor monitor, boolean supportFullPointerAnalysis)
List<Module>	findScriptsInDir(Path scriptDir)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

FieldBasedCGUtil

public FieldBasedCGUtil(JavaScriptTranslatorFactory translatorFactory)

Method Details

buildCG

public FieldBasedCallGraphBuilder.CallGraphResult buildCG(URL url,
 FieldBasedCGUtil.BuilderType builderType,
 boolean supportFullPointerAnalysis,
 Supplier<JSSourceExtractor> fExtractor)
                                                   throws WalaException,
CancelException

Throws:

WalaException

CancelException

buildCG

public FieldBasedCallGraphBuilder.CallGraphResult buildCG(URL url,
 FieldBasedCGUtil.BuilderType builderType,
 MonitorUtil.IProgressMonitor monitor,
 boolean supportFullPointerAnalysis,
 Supplier<JSSourceExtractor> fExtractor)
                                                   throws WalaException,
CancelException

Throws:

WalaException

CancelException

buildScriptCG

public FieldBasedCallGraphBuilder.CallGraphResult buildScriptCG(URL url,
 FieldBasedCGUtil.BuilderType builderType,
 MonitorUtil.IProgressMonitor monitor,
 boolean supportFullPointerAnalysis)
                                                         throws WalaException,
CancelException

Throws:

WalaException

CancelException

buildScriptDirCG

public FieldBasedCallGraphBuilder.CallGraphResult buildScriptDirCG(Path scriptDir,
 FieldBasedCGUtil.BuilderType builderType,
 MonitorUtil.IProgressMonitor monitor,
 boolean supportFullPointerAnalysis)
                                                            throws WalaException,
CancelException,
IOException

Construct a field-based call graph using all the .js files appearing in scriptDir or any of its sub-directories

Throws:

WalaException

CancelException

IOException

buildScriptDirBoundedCG

public FieldBasedCallGraphBuilder.CallGraphResult buildScriptDirBoundedCG(Path scriptDir,
 MonitorUtil.IProgressMonitor monitor,
 boolean supportFullPointerAnalysis,
 Integer bound)
                                                                   throws WalaException,
CancelException,
IOException

Construct a bounded field-based call graph using all the .js files appearing in scriptDir or any of its sub-directories

Throws:

WalaException

CancelException

IOException

findScriptsInDir

public List<Module> findScriptsInDir(Path scriptDir)
                              throws IOException

Throws:

IOException

buildTestCG

public FieldBasedCallGraphBuilder.CallGraphResult buildTestCG(String dir,
 String name,
 FieldBasedCGUtil.BuilderType builderType,
 MonitorUtil.IProgressMonitor monitor,
 boolean supportFullPointerAnalysis)
                                                       throws IOException,
WalaException,
CancelException

Throws:

IOException

WalaException

CancelException

buildPageCG

public FieldBasedCallGraphBuilder.CallGraphResult buildPageCG(URL url,
 FieldBasedCGUtil.BuilderType builderType,
 MonitorUtil.IProgressMonitor monitor,
 boolean supportFullPointerAnalysis,
 Supplier<JSSourceExtractor> fExtractor)
                                                       throws WalaException,
CancelException

Throws:

WalaException

CancelException

buildCG

public FieldBasedCallGraphBuilder.CallGraphResult buildCG(JavaScriptLoaderFactory loaders,
 Module[] scripts,
 FieldBasedCGUtil.BuilderType builderType,
 MonitorUtil.IProgressMonitor monitor,
 boolean supportFullPointerAnalysis)
                                                   throws WalaException,
CancelException

Throws:

WalaException

CancelException

buildBoundedCG

public FieldBasedCallGraphBuilder.CallGraphResult buildBoundedCG(JavaScriptLoaderFactory loaders,
 Module[] scripts,
 MonitorUtil.IProgressMonitor monitor,
 boolean supportFullPointerAnalysis,
 Integer bound)
                                                          throws WalaException,
CancelException

Throws:

WalaException

CancelException