Class EclipseJavaScriptAnalysisEngine

java.lang.Object

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

com.ibm.wala.ide.client.EclipseProjectAnalysisEngine<org.eclipse.wst.jsdt.core.IJavaScriptProject, InstanceKey>

com.ibm.wala.ide.client.EclipseProjectSourceAnalysisEngine<org.eclipse.wst.jsdt.core.IJavaScriptProject, InstanceKey>

com.ibm.wala.cast.js.client.EclipseJavaScriptAnalysisEngine

All Implemented Interfaces:

AnalysisEngine

Direct Known Subclasses:

EclipseWebAnalysisEngine

public class EclipseJavaScriptAnalysisEngine
extends EclipseProjectSourceAnalysisEngine<org.eclipse.wst.jsdt.core.IJavaScriptProject, InstanceKey>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	EclipseJavaScriptAnalysisEngine.BuilderType

Nested classes/interfaces inherited from class AbstractAnalysisEngine

AbstractAnalysisEngine.EntrypointBuilder

Modifier and Type	Class	Description
static interface	AbstractAnalysisEngine.EntrypointBuilder

Field Summary

Fields inherited from class EclipseProjectSourceAnalysisEngine

defaultFileExt

Modifier and Type	Field	Description
static final String	defaultFileExt

Fields inherited from class EclipseProjectAnalysisEngine

ePath, project, workspaceRootPath

Modifier and Type	Field	Description
protected EclipseProjectPath<?, org.eclipse.wst.jsdt.core.IJavaScriptProject>	ePath
protected final org.eclipse.wst.jsdt.core.IJavaScriptProject	project
protected final org.eclipse.core.runtime.IPath	workspaceRootPath

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<InstanceKey>	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
EclipseJavaScriptAnalysisEngine(org.eclipse.wst.jsdt.core.IJavaScriptProject project, EclipseJavaScriptAnalysisEngine.BuilderType builderType)

Method Summary

Modifier and Type	Method	Description
protected JavaScriptEclipseProjectPath	createProjectPath(org.eclipse.wst.jsdt.core.IJavaScriptProject project)
protected CallGraphBuilder<InstanceKey>	getCallGraphBuilder(IClassHierarchy cha, AnalysisOptions options, IAnalysisCacheView cache)
AnalysisOptions	getDefaultOptions(Iterable<Entrypoint> entrypoints)	Get the default analysis options appropriate for this engine
String	getExclusionsFile()
Pair<JSCallGraph, PointerAnalysis<ObjectVertex>>	getFieldBasedCallGraph()
protected Pair<JSCallGraph, PointerAnalysis<ObjectVertex>>	getFieldBasedCallGraph(Iterable<Entrypoint> roots)
Pair<JSCallGraph, PointerAnalysis<ObjectVertex>>	getFieldBasedCallGraph(String scriptName)
protected ClassLoaderReference	getSourceLoader()
protected AnalysisScope	makeAnalysisScope()
protected ClassLoaderFactory	makeClassLoaderFactory(StringFilter exclusions)
IAnalysisCacheView	makeDefaultCache()	we don't provide a default implementation of this method to avoid introducing a dependence on com.ibm.wala.cast from this project
protected Iterable<Entrypoint>	makeDefaultEntrypoints(IClassHierarchy cha)

Methods inherited from class EclipseProjectAnalysisEngine

buildAnalysisScope, getClassHierarchy, getEclipseProjectPath

Modifier and Type	Method	Description
void	buildAnalysisScope()	Set up the AnalysisScope object
IClassHierarchy	getClassHierarchy()
EclipseProjectPath<?, org.eclipse.wst.jsdt.core.IJavaScriptProject>	getEclipseProjectPath()

Methods inherited from class AbstractAnalysisEngine

addApplicationModulesToScope, buildCallGraph, buildClassHierarchy, buildDefaultCallGraph, defaultCallGraphBuilder, getCache, getCallGraph, getHeapGraph, getOptions, getPointerAnalysis, getScope, getSDG, isClosedWorld, performAnalysis, setClassHierarchy, setClosedWorld, setEntrypointBuilder, setExclusionsFile, setJ2SELibraries, setJ2SELibraries, setModuleFiles

Modifier and Type	Method	Description
protected void	addApplicationModulesToScope()	Add the application modules to the analysis scope.
protected CallGraphBuilder<InstanceKey>	buildCallGraph(IClassHierarchy cha, AnalysisOptions options, boolean savePointerAnalysis, MonitorUtil.IProgressMonitor monitor)
IClassHierarchy	buildClassHierarchy()
CallGraph	buildDefaultCallGraph()
CallGraphBuilder<InstanceKey>	defaultCallGraphBuilder()	Builds the call graph for the analysis scope in effect, using all of the given entry points.
IAnalysisCacheView	getCache()
protected CallGraph	getCallGraph()
HeapGraph<?>	getHeapGraph()
AnalysisOptions	getOptions()
PointerAnalysis<? super InstanceKey>	getPointerAnalysis()
protected AnalysisScope	getScope()
SDG<? super InstanceKey>	getSDG(Slicer.DataDependenceOptions data, Slicer.ControlDependenceOptions ctrl)
boolean	isClosedWorld()
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	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	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

EclipseJavaScriptAnalysisEngine

public EclipseJavaScriptAnalysisEngine(org.eclipse.wst.jsdt.core.IJavaScriptProject project,
 EclipseJavaScriptAnalysisEngine.BuilderType builderType)

Method Details

getDefaultOptions

public AnalysisOptions getDefaultOptions(Iterable<Entrypoint> entrypoints)

Description copied from interface: AnalysisEngine

Get the default analysis options appropriate for this engine

Specified by:

getDefaultOptions in interface AnalysisEngine

Overrides:

getDefaultOptions in class EclipseProjectSourceAnalysisEngine<org.eclipse.wst.jsdt.core.IJavaScriptProject, InstanceKey>

getExclusionsFile

public String getExclusionsFile()

Overrides:

getExclusionsFile in class AbstractAnalysisEngine<InstanceKey, CallGraphBuilder<InstanceKey>, Void>

makeDefaultEntrypoints

protected Iterable<Entrypoint> makeDefaultEntrypoints(IClassHierarchy cha)

Overrides:

makeDefaultEntrypoints in class AbstractAnalysisEngine<InstanceKey, CallGraphBuilder<InstanceKey>, Void>

makeClassLoaderFactory

protected ClassLoaderFactory makeClassLoaderFactory(StringFilter exclusions)

Overrides:

makeClassLoaderFactory in class AbstractAnalysisEngine<InstanceKey, CallGraphBuilder<InstanceKey>, Void>

makeAnalysisScope

protected AnalysisScope makeAnalysisScope()

Specified by:

makeAnalysisScope in class EclipseProjectAnalysisEngine<org.eclipse.wst.jsdt.core.IJavaScriptProject, InstanceKey>

createProjectPath

protected JavaScriptEclipseProjectPath createProjectPath(org.eclipse.wst.jsdt.core.IJavaScriptProject project)
                                                  throws IOException,
org.eclipse.core.runtime.CoreException

Specified by:

createProjectPath in class EclipseProjectAnalysisEngine<org.eclipse.wst.jsdt.core.IJavaScriptProject, InstanceKey>

Throws:

IOException

org.eclipse.core.runtime.CoreException

getSourceLoader

protected ClassLoaderReference getSourceLoader()

Specified by:

getSourceLoader in class EclipseProjectSourceAnalysisEngine<org.eclipse.wst.jsdt.core.IJavaScriptProject, InstanceKey>

makeDefaultCache

public IAnalysisCacheView makeDefaultCache()

Description copied from class: EclipseProjectSourceAnalysisEngine

we don't provide a default implementation of this method to avoid introducing a dependence on com.ibm.wala.cast from this project

Specified by:

makeDefaultCache in class EclipseProjectSourceAnalysisEngine<org.eclipse.wst.jsdt.core.IJavaScriptProject, InstanceKey>

getCallGraphBuilder

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

Specified by:

getCallGraphBuilder in class EclipseProjectAnalysisEngine<org.eclipse.wst.jsdt.core.IJavaScriptProject, InstanceKey>

getFieldBasedCallGraph

public Pair<JSCallGraph, PointerAnalysis<ObjectVertex>> getFieldBasedCallGraph()
                                                                        throws CancelException

Throws:

CancelException

getFieldBasedCallGraph

public Pair<JSCallGraph, PointerAnalysis<ObjectVertex>> getFieldBasedCallGraph(String scriptName)
                                                                        throws CancelException

Throws:

CancelException

getFieldBasedCallGraph

protected Pair<JSCallGraph, PointerAnalysis<ObjectVertex>> getFieldBasedCallGraph(Iterable<Entrypoint> roots)
                                                                           throws CancelException

Throws:

CancelException