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

Class JavaScriptAnalysisEngine.PropagationJavaScriptAnalysisEngine

java.lang.Object

com.ibm.wala.client.AbstractAnalysisEngine<I,CallGraphBuilder<I>,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 com.ibm.wala.cast.js.client.JavaScriptAnalysisEngine

JavaScriptAnalysisEngine.FieldBasedJavaScriptAnalysisEngine, JavaScriptAnalysisEngine.PropagationJavaScriptAnalysisEngine

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

AbstractAnalysisEngine.EntrypointBuilder

Field Summary

Fields inherited from class com.ibm.wala.cast.js.client.JavaScriptAnalysisEngine

loaderFactory, 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
PropagationJavaScriptAnalysisEngine()

Method Summary

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

Methods inherited from class com.ibm.wala.cast.js.client.JavaScriptAnalysisEngine

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

Methods inherited from class com.ibm.wala.client.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 java.lang.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>