Package com.ibm.wala.cast.js.client

Class JavaScriptAnalysisEngine<I extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey>

java.lang.Object

com.ibm.wala.client.AbstractAnalysisEngine<I,com.ibm.wala.ipa.callgraph.CallGraphBuilder<I>,java.lang.Void>

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

All Implemented Interfaces:

com.ibm.wala.client.AnalysisEngine

Direct Known Subclasses:

JavaScriptAnalysisEngine.FieldBasedJavaScriptAnalysisEngine, JavaScriptAnalysisEngine.PropagationJavaScriptAnalysisEngine

public abstract class JavaScriptAnalysisEngine<I extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey>
extends com.ibm.wala.client.AbstractAnalysisEngine<I,com.ibm.wala.ipa.callgraph.CallGraphBuilder<I>,java.lang.Void>

Nested Class Summary

Nested Classes

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

Nested classes/interfaces inherited from class com.ibm.wala.client.AbstractAnalysisEngine

com.ibm.wala.client.AbstractAnalysisEngine.EntrypointBuilder

Field Summary

Fields

Modifier and Type	Field	Description
protected JavaScriptLoaderFactory	loaderFactory
protected JavaScriptTranslatorFactory	translatorFactory

Fields inherited from class com.ibm.wala.client.AbstractAnalysisEngine

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

Constructor Summary

Constructors

Constructor	Description
JavaScriptAnalysisEngine()

Method Summary

Modifier and Type	Method	Description
void	buildAnalysisScope()
com.ibm.wala.ipa.cha.IClassHierarchy	buildClassHierarchy()
JSAnalysisOptions	getDefaultOptions(java.lang.Iterable<com.ibm.wala.ipa.callgraph.Entrypoint> roots)
com.ibm.wala.ipa.callgraph.IAnalysisCacheView	makeDefaultCache()
protected java.lang.Iterable<com.ibm.wala.ipa.callgraph.Entrypoint>	makeDefaultEntrypoints(com.ibm.wala.ipa.cha.IClassHierarchy cha)
void	setJ2SELibraries(com.ibm.wala.classLoader.Module[] libs)
void	setJ2SELibraries(java.util.jar.JarFile[] libs)
void	setTranslatorFactory(JavaScriptTranslatorFactory factory)

Methods inherited from class com.ibm.wala.client.AbstractAnalysisEngine

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

Methods inherited from class java.lang.Object

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

Field Detail

loaderFactory

protected JavaScriptLoaderFactory loaderFactory

translatorFactory

protected JavaScriptTranslatorFactory translatorFactory

Constructor Detail

JavaScriptAnalysisEngine

public JavaScriptAnalysisEngine()

Method Detail

buildAnalysisScope

public void buildAnalysisScope()

Overrides:

buildAnalysisScope in class com.ibm.wala.client.AbstractAnalysisEngine<I extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey,com.ibm.wala.ipa.callgraph.CallGraphBuilder<I extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey>,java.lang.Void>

buildClassHierarchy

public com.ibm.wala.ipa.cha.IClassHierarchy buildClassHierarchy()

Overrides:

buildClassHierarchy in class com.ibm.wala.client.AbstractAnalysisEngine<I extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey,com.ibm.wala.ipa.callgraph.CallGraphBuilder<I extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey>,java.lang.Void>

setTranslatorFactory

public void setTranslatorFactory(JavaScriptTranslatorFactory factory)

setJ2SELibraries

public void setJ2SELibraries(java.util.jar.JarFile[] libs)

Specified by:

setJ2SELibraries in interface com.ibm.wala.client.AnalysisEngine

Overrides:

setJ2SELibraries in class com.ibm.wala.client.AbstractAnalysisEngine<I extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey,com.ibm.wala.ipa.callgraph.CallGraphBuilder<I extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey>,java.lang.Void>

setJ2SELibraries

public void setJ2SELibraries(com.ibm.wala.classLoader.Module[] libs)

Specified by:

setJ2SELibraries in interface com.ibm.wala.client.AnalysisEngine

Overrides:

setJ2SELibraries in class com.ibm.wala.client.AbstractAnalysisEngine<I extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey,com.ibm.wala.ipa.callgraph.CallGraphBuilder<I extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey>,java.lang.Void>

makeDefaultEntrypoints

protected java.lang.Iterable<com.ibm.wala.ipa.callgraph.Entrypoint> makeDefaultEntrypoints(com.ibm.wala.ipa.cha.IClassHierarchy cha)

Overrides:

makeDefaultEntrypoints in class com.ibm.wala.client.AbstractAnalysisEngine<I extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey,com.ibm.wala.ipa.callgraph.CallGraphBuilder<I extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey>,java.lang.Void>

makeDefaultCache

public com.ibm.wala.ipa.callgraph.IAnalysisCacheView makeDefaultCache()

Overrides:

makeDefaultCache in class com.ibm.wala.client.AbstractAnalysisEngine<I extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey,com.ibm.wala.ipa.callgraph.CallGraphBuilder<I extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey>,java.lang.Void>

getDefaultOptions

public JSAnalysisOptions getDefaultOptions(java.lang.Iterable<com.ibm.wala.ipa.callgraph.Entrypoint> roots)

Specified by:

getDefaultOptions in interface com.ibm.wala.client.AnalysisEngine

Overrides:

getDefaultOptions in class com.ibm.wala.client.AbstractAnalysisEngine<I extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey,com.ibm.wala.ipa.callgraph.CallGraphBuilder<I extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey>,java.lang.Void>