Class JavaScriptAnalysisEngine.PropagationJavaScriptAnalysisEngine

java.lang.Object

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

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

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

All Implemented Interfaces:

AnalysisEngine

Enclosing class:

JavaScriptAnalysisEngine<I extends InstanceKey>

public static class JavaScriptAnalysisEngine.PropagationJavaScriptAnalysisEngine
extends JavaScriptAnalysisEngine<InstanceKey>

Nested Class Summary

Nested classes/interfaces inherited from class JavaScriptAnalysisEngine

JavaScriptAnalysisEngine.FieldBasedJavaScriptAnalysisEngine, JavaScriptAnalysisEngine.PropagationJavaScriptAnalysisEngine

Nested classes/interfaces inherited from class AbstractAnalysisEngine

AbstractAnalysisEngine.EntrypointBuilder

Field Summary

Fields inherited from class JavaScriptAnalysisEngine

loaderFactory, translatorFactory

Fields inherited from class AbstractAnalysisEngine

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

Constructor Summary

Constructors

Constructor	Description
PropagationJavaScriptAnalysisEngine()

Method Summary

Modifier and Type	Method	Description
protected JSZeroOrOneXCFABuilder	getCallGraphBuilder(IClassHierarchy cha, AnalysisOptions options, IAnalysisCacheView cache)

Methods inherited from class JavaScriptAnalysisEngine

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

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

Methods inherited from class Object

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

Constructor Details

PropagationJavaScriptAnalysisEngine

public PropagationJavaScriptAnalysisEngine()

Method Details

getCallGraphBuilder

protected JSZeroOrOneXCFABuilder getCallGraphBuilder(IClassHierarchy cha,
 AnalysisOptions options,
 IAnalysisCacheView cache)

Specified by:

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