All Classes Interface Summary Class Summary Enum Summary
| Class |
Description |
| AbstractVertexVisitor<T> |
|
| ArgumentSpecialization |
|
| ArgumentSpecialization.ArgumentCountContext |
|
| ArgumentSpecialization.ArgumentCountContextSelector |
|
| ArgumentSpecialization.ArgumentCountIRFactory |
|
| ArgumentSpecialization.ArgumentSpecializationContextIntepreter |
|
| ArgVertex |
A return vertex represents the 'arguments' array of a given function.
|
| CallGraph2JSON |
Utility class to serialize call graphs as JSON objects.
|
| CallVertex |
A call vertex represents the possible callees of a function call or new expression.
|
| CAstRewriterExt |
Extension of CAstRewriter which allows adding or deleting control flow edges, and keeps
track of the current entity.
|
| CAstRewriterExt.Edge |
A control flow edge to be added to the CFG.
|
| ChildPos |
A NodePos for a non-root node; includes information about the parent node, the child
index, and the position of the parent node. |
| ClosureExtractor |
A CAst rewriter for extracting bits of code into one-shot closures.
|
| CompositeFileMapping |
|
| CorrelatedPairExtractionPolicy |
|
| CorrelatedPairExtractorFactory |
|
| Correlation |
A correlation exists between a dynamic property read r and a dynamic property write w such that
the value read in r may flow into w, and r and w are guaranteed to access a property of the same
name.
|
| CorrelationFinder |
Helper class for identifying correlated read/write pairs.
|
| CorrelationSummary |
A utility class holding information about correlations identified by a CorrelationFinder. |
| CorrelationVisitor<T> |
Visitor class for performing case analysis on Correlations. |
| CreationSiteVertex |
|
| DefaultSourceExtractor |
|
| DefaultSourceExtractor.HtmlCallBack |
|
| DomLessSourceExtractor |
extracts JavaScript source code from HTML, with no model of the actual DOM data structure
|
| DomLessSourceExtractor.HtmlCallback |
|
| DomLessSourceExtractor.IGeneratorCallback |
|
| EmptyFileMapping |
|
| EscapeCorrelation |
An escape correlation conservatively captures inter-procedural correlated pairs: for a dynamic
property read r of the form e[p], if both the result of r and the value of
p flow into a function call c, we consider r and c to be a
correlated pair to account for the fact that the function called by c may perform a write
of property p.
|
| ExtractionPolicy |
An extraction policy tells a ClosureExtractor which bits of code to extract into
closures. |
| ExtractionPolicyFactory |
|
| ExtractionPos |
A special ChildPos representing the position of a node which is the body of a for-in
loop. |
| ExtractionRegion |
|
| FieldBasedCallGraphBuilder |
Abstract call graph builder class for building a call graph from a field-based flow graph.
|
| FieldBasedCallGraphBuilder.CallGraphResult |
Full result of call graph computation
|
| FieldBasedCGUtil |
Utility class for building call graphs.
|
| FieldBasedCGUtil.BuilderType |
|
| FileMapping |
|
| FilteredFlowGraphBuilder |
|
| FlowGraph |
A flow graph models data flow between vertices representing local variables, properties, return
values, and so forth.
|
| FlowGraphBuilder |
Class for building intra-procedural flow graphs for a given class hierarchy.
|
| ForInBodyExtractionPolicy |
|
| FuncVertex |
A function vertex represents a function object (or, more precisely, all function objects arising
from a single function expression or declaration).
|
| GlobalVertex |
|
| IdentityUrlResolver |
|
| IHtmlCallback |
Callback which is implemented by users of the IHtmlParser.
|
| IHtmlParser |
|
| IHtmlParserFactory |
|
| IncludedPosition |
A CAstSourcePositionMap.Position for source code that has been included in some enclosing file, e.g.,
JavaScript code included in an HTML file via a script node.
|
| ITag |
|
| IUrlResolver |
Used for handling resources that were copied from the web to local files (and still contain
references to the web)
|
| JavaScriptAnalysisEngine<I extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey> |
|
| JavaScriptAnalysisEngine.FieldBasedJavaScriptAnalysisEngine |
|
| JavaScriptAnalysisEngine.FieldBasedJavaScriptAnalysisEngine.BuilderType |
|
| JavaScriptAnalysisEngine.PropagationJavaScriptAnalysisEngine |
|
| JavaScriptCAstNode |
|
| JavaScriptCheckReference |
Checks if a reference is null or undefined, and if so, throws a ReferenceError.
|
| JavaScriptConstructorContextSelector |
|
| JavaScriptConstructorFunctions |
|
| JavaScriptConstructorFunctions.JavaScriptConstructor |
|
| 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()
|
| JavaScriptInstanceOf |
|
| JavaScriptInvoke |
|
| JavaScriptLoader |
|
| JavaScriptLoaderFactory |
Creates the single class loader used for JavaScript.
|
| JavaScriptLoopUnwindingTranslatorFactory |
|
| JavaScriptMethods |
|
| JavaScriptModRef<T extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey> |
|
| JavaScriptModRef.JavaScriptModVisitor<T extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey> |
|
| JavaScriptModRef.JavaScriptRefVisitor<T extends com.ibm.wala.ipa.callgraph.propagation.InstanceKey> |
|
| JavaScriptPropertyRead |
|
| JavaScriptPropertyWrite |
|
| JavaScriptScopeMappingInstanceKeys |
|
| JavaScriptSummarizedFunction |
|
| JavaScriptSummary |
|
| JavaScriptTranslatorFactory |
Factory interface for creating translators that generate the CAst for some JavaScript source
file.
|
| JavaScriptTranslatorToCAst |
|
| JavaScriptTranslatorToCAst.FunctionContext<C extends JavaScriptTranslatorToCAst.WalkContext<C,T>,T> |
|
| JavaScriptTranslatorToCAst.MemberDestructuringContext<C extends JavaScriptTranslatorToCAst.WalkContext<C,T>,T> |
Used to determine the value to be passed as the 'this' argument for a function call.
|
| JavaScriptTranslatorToCAst.RootContext<C extends JavaScriptTranslatorToCAst.WalkContext<C,T>,T> |
|
| JavaScriptTranslatorToCAst.ScriptContext<C extends JavaScriptTranslatorToCAst.WalkContext<C,T>,T> |
|
| JavaScriptTranslatorToCAst.WalkContext<C extends JavaScriptTranslatorToCAst.WalkContext<C,T>,T> |
|
| JavaScriptTypeOfInstruction |
|
| JavaScriptTypes |
|
| JavaScriptWithRegion |
|
| JerichoHtmlParser |
|
| JerichoTag |
ITag impel for Jericho generated tags
|
| JSAbstractInstructionVisitor |
|
| JSAnalysisOptions |
call graph construction options specific to JavaScript.
|
| JSAstTranslator |
Specialization of AstTranslator for JavaScript.
|
| JSCallGraph |
|
| JSCallGraph.JSFakeRoot |
|
| JSCallGraphBuilderUtil |
TODO this class is a mess.
|
| JSCallGraphBuilderUtil.CGBuilderType |
|
| JSCallGraphUtil |
|
| JSCallGraphUtil.Bootstrap |
|
| JSCFABuilder |
Common utilities for CFA-style call graph builders.
|
| JSConstantFoldingRewriter |
|
| JSInducedCFG |
|
| JSInstructionFactory |
|
| JSInstructionVisitor |
|
| JSMethodInstructionVisitor |
|
| JsPaPanel |
Augments the PaPanel with: 1) global pointer keys at the root level.
|
| JSPrimitiveType |
|
| JSSourceExtractor |
Extracts scripts from a given URL of an HTML.
|
| JSSSAPropagationCallGraphBuilder |
Specialized pointer analysis constraint generation for JavaScript.
|
| JSSSAPropagationCallGraphBuilder.JSConstraintVisitor |
|
| JSSSAPropagationCallGraphBuilder.JSInterestingVisitor |
|
| JSSSAPropagationCallGraphBuilder.JSPointerAnalysisImpl |
|
| JSSSAPropagationCallGraphBuilder.JSPointerAnalysisImpl.JSImplicitPointsToSetVisitor |
|
| JSSyntheticParameterKey |
|
| JSTypeInference |
|
| JsViewer |
|
| JSZeroOrOneXCFABuilder |
0-x-CFA Call graph builder, optimized to not disambiguate instances of "uninteresting" types
|
| LabelPos |
A NodePos for a node that labels a CFG edge; currently only seems to occur with 'switch'
statements. |
| LexicalVarVertex |
A lexical access vertex represents a lexical variable, i.e., a local variable that is accessed
from within a nested function.
|
| LoadFileTargetSelector |
|
| MappedSourceFileModule |
|
| MappedSourceModule |
|
| NestedRangeMapping |
|
| NodeLabeller |
A node labeller keeps a mapping from nodes to integers to allow consistent labelling of nodes.
|
| NodePos |
Representation of a node's position in a CAst entity's syntax tree.
|
| ObjectSensitivityContextSelector |
|
| ObjectVertex |
|
| OneCFABuilderFactory |
|
| OptimisticCallgraphBuilder |
Optimistic call graph builder that propagates inter-procedural data flow iteratively as call
edges are discovered.
|
| ParamVertex |
A parameter vertex represents a positional parameter of a function.
|
| PessimisticCallGraphBuilder |
Call graph builder for building pessimistic call graphs, where inter-procedural flows are not
tracked except in the trivial case of local calls.
|
| PosSwitch<A> |
|
| 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.
|
| PropertyReadExpander |
Transforms property reads to make prototype chain operations explicit.
|
| PropVertex |
A property vertex represents all properties with a given name.
|
| PrototypeFieldVertex |
|
| PrototypeFieldVertex.PrototypeField |
|
| PrototypeLookup |
Non-deterministically assigns some object in the prototype chain of val (or val itself) to
result.
|
| RangeFileMapping |
|
| RangeFileMapping.Range |
|
| ReadWriteCorrelation |
The most basic form of correlation: an intra-procedurally correlated pair of a dynamic property
read and a dynamic property write.
|
| 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)
|
| ReflectiveCallVertex |
|
| RetVertex |
A return vertex represents all return values of a given function.
|
| RootPos |
|
| SetPrototype |
|
| SourceRegion |
Represents a region of source code, with source locations.
|
| SSASourcePositionMap |
|
| TransitivePrototypeKey |
|
| TwoLevelExtractionRegion |
|
| UnknownVertex |
The unknown vertex is used to model complicated data flow.
|
| UrlManipulator |
|
| Util |
|
| VarVertex |
A variable vertex represents an SSA variable inside a given function.
|
| Vertex |
Class representing a flow graph vertex.
|
| VertexFactory |
A vertex factory is associated with a flow graph.
|
| VertexVisitor<T> |
|
| WebPageLoaderFactory |
|
| WebUtil |
|
| WorklistBasedOptimisticCallgraphBuilder |
Optimistic call graph builder that propagates inter-procedural data flow iteratively as call
edges are discovered.
|
| ZeroCFABuilderFactory |
|