Class JavaScriptAnalysisEngine.FieldBasedJavaScriptAnalysisEngine

java.lang.Object

com.ibm.wala.client.AbstractAnalysisEngine<ObjectVertex, CallGraphBuilder<ObjectVertex>, Void>

com.ibm.wala.cast.js.client.JavaScriptAnalysisEngine<ObjectVertex>

com.ibm.wala.cast.js.client.JavaScriptAnalysisEngine.FieldBasedJavaScriptAnalysisEngine

All Implemented Interfaces:

AnalysisEngine

Enclosing class:

JavaScriptAnalysisEngine<I extends InstanceKey>

public static class JavaScriptAnalysisEngine.FieldBasedJavaScriptAnalysisEngine
extends JavaScriptAnalysisEngine<ObjectVertex>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	JavaScriptAnalysisEngine.FieldBasedJavaScriptAnalysisEngine.BuilderType

Nested classes/interfaces inherited from class JavaScriptAnalysisEngine

JavaScriptAnalysisEngine.FieldBasedJavaScriptAnalysisEngine, JavaScriptAnalysisEngine.PropagationJavaScriptAnalysisEngine

Modifier and Type	Class	Description
static class	JavaScriptAnalysisEngine.FieldBasedJavaScriptAnalysisEngine
static class	JavaScriptAnalysisEngine.PropagationJavaScriptAnalysisEngine

Nested classes/interfaces inherited from class AbstractAnalysisEngine

AbstractAnalysisEngine.EntrypointBuilder

Modifier and Type	Class	Description
static interface	AbstractAnalysisEngine.EntrypointBuilder

Field Summary

Fields inherited from class JavaScriptAnalysisEngine

loaderFactory, translatorFactory

Modifier and Type	Field	Description
protected JavaScriptLoaderFactory	loaderFactory
protected JavaScriptTranslatorFactory	translatorFactory

Fields inherited from class AbstractAnalysisEngine

cg, DEBUG_LEVEL, j2seLibs, moduleFiles, pointerAnalysis, scope, SYNTHETIC_J2SE_MODEL

Modifier and Type	Field	Description
protected CallGraph	cg	Governing call graph
protected static final int	DEBUG_LEVEL	DEBUG_LEVEL: 0 No output 1 Print some simple stats and warning information 2 Detailed debugging
protected Module[]	j2seLibs	The standard J2SE libraries to analyze
protected Collection<? extends Module>	moduleFiles	The modules to analyze
protected PointerAnalysis<ObjectVertex>	pointerAnalysis	Results of pointer analysis
protected AnalysisScope	scope	A representation of the analysis scope
static final String	SYNTHETIC_J2SE_MODEL

Constructor Summary

Constructors

Constructor	Description
FieldBasedJavaScriptAnalysisEngine()

Method Summary

Modifier and Type	Method	Description
JavaScriptAnalysisEngine.FieldBasedJavaScriptAnalysisEngine.BuilderType	getBuilderType()
protected CallGraphBuilder<ObjectVertex>	getCallGraphBuilder(IClassHierarchy cha, AnalysisOptions options, IAnalysisCacheView cache)
JSAnalysisOptions	getDefaultOptions(Iterable<Entrypoint> roots)	Get the default analysis options appropriate for this engine
void	setBuilderType(JavaScriptAnalysisEngine.FieldBasedJavaScriptAnalysisEngine.BuilderType builderType)

Methods inherited from class JavaScriptAnalysisEngine

buildAnalysisScope, buildClassHierarchy, makeDefaultCache, makeDefaultEntrypoints, setJ2SELibraries, setJ2SELibraries, setTranslatorFactory

Modifier and Type	Method	Description
void	buildAnalysisScope()	Set up the AnalysisScope object
IClassHierarchy	buildClassHierarchy()
IAnalysisCacheView	makeDefaultCache()
protected Iterable<Entrypoint>	makeDefaultEntrypoints(IClassHierarchy cha)
void	setJ2SELibraries(Module[] libs)	Specify the mdoules that represent the standard J2SE libraries
void	setJ2SELibraries(JarFile[] libs)	Specify the jar files that represent the standard J2SE libraries
void	setTranslatorFactory(JavaScriptTranslatorFactory factory)

Methods inherited from class AbstractAnalysisEngine

addApplicationModulesToScope, buildCallGraph, buildDefaultCallGraph, defaultCallGraphBuilder, getCache, getCallGraph, getClassHierarchy, getExclusionsFile, getHeapGraph, getOptions, getPointerAnalysis, getScope, getSDG, isClosedWorld, makeClassLoaderFactory, performAnalysis, setClassHierarchy, setClosedWorld, setEntrypointBuilder, setExclusionsFile, setModuleFiles

Modifier and Type	Method	Description
protected void	addApplicationModulesToScope()	Add the application modules to the analysis scope.
protected CallGraphBuilder<ObjectVertex>	buildCallGraph(IClassHierarchy cha, AnalysisOptions options, boolean savePointerAnalysis, MonitorUtil.IProgressMonitor monitor)
CallGraph	buildDefaultCallGraph()
CallGraphBuilder<ObjectVertex>	defaultCallGraphBuilder()	Builds the call graph for the analysis scope in effect, using all of the given entry points.
IAnalysisCacheView	getCache()
protected CallGraph	getCallGraph()
IClassHierarchy	getClassHierarchy()
String	getExclusionsFile()
HeapGraph<?>	getHeapGraph()
AnalysisOptions	getOptions()
PointerAnalysis<? super ObjectVertex>	getPointerAnalysis()
protected AnalysisScope	getScope()
SDG<? super ObjectVertex>	getSDG(Slicer.DataDependenceOptions data, Slicer.ControlDependenceOptions ctrl)
boolean	isClosedWorld()
protected ClassLoaderFactory	makeClassLoaderFactory(StringFilter exclusions)
Void	performAnalysis(PropagationCallGraphBuilder builder)
protected IClassHierarchy	setClassHierarchy(IClassHierarchy cha)
void	setClosedWorld(boolean b)	Specify whether the engine should or should not employ "closed-world" analysis.
void	setEntrypointBuilder(AbstractAnalysisEngine.EntrypointBuilder builder)
void	setExclusionsFile(String exclusionsFile)
void	setModuleFiles(Collection<? extends Module> moduleFiles)	Specify the list of modules that should be analyzed.

Methods inherited from class Object

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

Constructor Details

FieldBasedJavaScriptAnalysisEngine

public FieldBasedJavaScriptAnalysisEngine()

Method Details

getBuilderType

public JavaScriptAnalysisEngine.FieldBasedJavaScriptAnalysisEngine.BuilderType getBuilderType()

Returns:

the builderType

setBuilderType

public void setBuilderType(JavaScriptAnalysisEngine.FieldBasedJavaScriptAnalysisEngine.BuilderType builderType)

Parameters:

builderType - the builderType to set

getDefaultOptions

public JSAnalysisOptions getDefaultOptions(Iterable<Entrypoint> roots)

Description copied from interface: AnalysisEngine

Get the default analysis options appropriate for this engine

Specified by:

getDefaultOptions in interface AnalysisEngine

Overrides:

getDefaultOptions in class JavaScriptAnalysisEngine<ObjectVertex>

getCallGraphBuilder

protected CallGraphBuilder<ObjectVertex> getCallGraphBuilder(IClassHierarchy cha,
 AnalysisOptions options,
 IAnalysisCacheView cache)

Specified by:

getCallGraphBuilder in class AbstractAnalysisEngine<ObjectVertex, CallGraphBuilder<ObjectVertex>, Void>