Package com.ibm.wala.cast.js.ipa.callgraph

Class Summary

Class	Description
ArgumentSpecialization
ArgumentSpecialization.ArgumentCountContext
ArgumentSpecialization.ArgumentCountContextSelector
ArgumentSpecialization.ArgumentCountIRFactory
ArgumentSpecialization.ArgumentSpecializationContextIntepreter
JavaScriptConstructorContextSelector
JavaScriptConstructorInstanceKeys
JavaScriptConstructTargetSelector	generates instructions to simulate the semantics of JS constructor invocations
JavaScriptEntryPoints
JavaScriptFunctionApplyContextInterpreter	TODO cache generated IRs
JavaScriptFunctionApplyContextSelector
JavaScriptFunctionApplyContextSelector.ApplyContext
JavaScriptFunctionApplyTargetSelector	We need to generate synthetic methods for Function.apply() in the target selector, so that the AstMethod for Function_prototype_apply() in the prologue doesn't actually get used in the CGNodes used for calls to Function.prototype.apply().
JavaScriptFunctionDotCallTargetSelector	Generate IR to model Function.call()
JavaScriptScopeMappingInstanceKeys
JSAnalysisOptions	call graph construction options specific to JavaScript.
JSCallGraph
JSCallGraph.JSFakeRoot
JSCallGraphUtil
JSCallGraphUtil.Bootstrap
JSCFABuilder	Common utilities for CFA-style call graph builders.
JSSSAPropagationCallGraphBuilder	Specialized pointer analysis constraint generation for JavaScript.
JSSSAPropagationCallGraphBuilder.JSConstraintVisitor
JSSSAPropagationCallGraphBuilder.JSInterestingVisitor
JSSSAPropagationCallGraphBuilder.JSPointerAnalysisImpl
JSSSAPropagationCallGraphBuilder.JSPointerAnalysisImpl.JSImplicitPointsToSetVisitor
JSSyntheticParameterKey
JSZeroOrOneXCFABuilder	0-x-CFA Call graph builder, optimized to not disambiguate instances of "uninteresting" types
LoadFileTargetSelector
ObjectSensitivityContextSelector
PropertyNameContextSelector	A context selector that applies object sensitivity for the i'th parameter if it is used as a property name in a dynamic property access.
RecursionBoundContextSelector	A context selector that attempts to detect recursion beyond some depth in a base selector.
RecursionCheckContextSelector	ensures that no contexts returned by a base context selector are recursive (assertion failure otherwise)
TransitivePrototypeKey