| Package | Description |
|---|---|
| com.ibm.wala.analysis.pointers |
This package defines utilities to help navigate pointer analysis results.
|
| com.ibm.wala.analysis.reflection |
This package provides functions to deal with reflection.
|
| com.ibm.wala.analysis.reflection.java7 | |
| com.ibm.wala.analysis.typeInference |
This package provides intraprocedural type inference over the SSA form.
|
| com.ibm.wala.cfg |
This package provides control-flow graph utilities.
|
| com.ibm.wala.cfg.exc | |
| com.ibm.wala.cfg.exc.inter | |
| com.ibm.wala.classLoader |
This package provides functionality related to class loading and
management of loaded classes.
|
| com.ibm.wala.client |
This package provides interfaces for some base utilities for use by WALA clients.
|
| com.ibm.wala.dataflow.IFDS |
This package provides an RHS solver for IFDS problems.
|
| com.ibm.wala.demandpa.alg | |
| com.ibm.wala.demandpa.flowgraph | |
| com.ibm.wala.demandpa.util | |
| com.ibm.wala.escape | |
| com.ibm.wala.ipa.callgraph |
This package provides basic interfaces and functions for call graph
construction.
|
| com.ibm.wala.ipa.callgraph.cha | |
| com.ibm.wala.ipa.callgraph.impl |
This package provides some implementations of basic functions needed for
various call graph construction algorithms.
|
| com.ibm.wala.ipa.callgraph.propagation |
This package provides the base layer for propagation-based call graph
construction and pointer analysis.
|
| com.ibm.wala.ipa.callgraph.propagation.cfa |
This package provides RTA call graph
construction.
|
| com.ibm.wala.ipa.callgraph.propagation.rta |
This package provides CFA-style call graph
construction and pointer analysis.
|
| com.ibm.wala.ipa.callgraph.pruned | |
| com.ibm.wala.ipa.cfg |
This package supports interprocedural control-flow graphs, and control-flow
graphs specialized for context.
|
| com.ibm.wala.ipa.cha |
This package provides functionality related to class hierarchies.
|
| com.ibm.wala.ipa.modref | |
| com.ibm.wala.ipa.slicer | |
| com.ibm.wala.ipa.slicer.thin | |
| com.ibm.wala.ipa.summaries |
This package provides class hierarchy analysis.
|
| com.ibm.wala.ssa |
This package provides the WALA SSA IR.
|
| com.ibm.wala.util.config |
This package provides miscellaneous utilities for configuration of the analysis.
|
| com.ibm.wala.util.ref | |
| com.ibm.wala.util.scope | |
| com.ibm.wala.viz.viewer |
| Class and Description |
|---|
| CallGraph
Basic interface for a call graph, which is a graph of
CGNode |
| Class and Description |
|---|
| AnalysisCache
A place to hold onto caches of various analysis artifacts.
|
| AnalysisOptions
Basic interface for options that control call graph generation.
|
| CGNode
Basic interface for a node in a call graph.
|
| Context
A Context is a mapping from a name (ContextKey) to a value (ContextItem)
For example, for CFA-1, there is only one name ("caller"); and the context maps "caller" to an IMethod
As another example, for CPA, there would be name for each parameter slot ("zero","one","two"), and the Context provides a mapping
from this name to a set of types.
|
| ContextItem
A placeholder for strong typing.
|
| ContextKey
This just exists to enforce strong typing.
|
| ContextSelector
An interface to an object which helps control context-sensitivity.
|
| Class and Description |
|---|
| CGNode
Basic interface for a node in a call graph.
|
| Context
A Context is a mapping from a name (ContextKey) to a value (ContextItem)
For example, for CFA-1, there is only one name ("caller"); and the context maps "caller" to an IMethod
As another example, for CPA, there would be name for each parameter slot ("zero","one","two"), and the Context provides a mapping
from this name to a set of types.
|
| ContextItem
A placeholder for strong typing.
|
| ContextKey
This just exists to enforce strong typing.
|
| ContextSelector
An interface to an object which helps control context-sensitivity.
|
| Class and Description |
|---|
| ContextItem
A placeholder for strong typing.
|
| Class and Description |
|---|
| Context
A Context is a mapping from a name (ContextKey) to a value (ContextItem)
For example, for CFA-1, there is only one name ("caller"); and the context maps "caller" to an IMethod
As another example, for CPA, there would be name for each parameter slot ("zero","one","two"), and the Context provides a mapping
from this name to a set of types.
|
| Class and Description |
|---|
| CallGraph
Basic interface for a call graph, which is a graph of
CGNode |
| CGNode
Basic interface for a node in a call graph.
|
| Class and Description |
|---|
| CallGraph
Basic interface for a call graph, which is a graph of
CGNode |
| CGNode
Basic interface for a node in a call graph.
|
| Class and Description |
|---|
| AnalysisScope
Base class that represents a set of files to analyze.
|
| Context
A Context is a mapping from a name (ContextKey) to a value (ContextItem)
For example, for CFA-1, there is only one name ("caller"); and the context maps "caller" to an IMethod
As another example, for CPA, there would be name for each parameter slot ("zero","one","two"), and the Context provides a mapping
from this name to a set of types.
|
| ContextItem
A placeholder for strong typing.
|
| Class and Description |
|---|
| AnalysisCache
A place to hold onto caches of various analysis artifacts.
|
| AnalysisOptions
Basic interface for options that control call graph generation.
|
| AnalysisScope
Base class that represents a set of files to analyze.
|
| CallGraph
Basic interface for a call graph, which is a graph of
CGNode |
| CallGraphBuilder
Basic interface for an object that can build a call graph.
|
| Entrypoint
A representation of an entrypoint in the call graph.
|
| Class and Description |
|---|
| AnalysisCache
A place to hold onto caches of various analysis artifacts.
|
| CallGraph
Basic interface for a call graph, which is a graph of
CGNode |
| CGNode
Basic interface for a node in a call graph.
|
| Context
A Context is a mapping from a name (ContextKey) to a value (ContextItem)
For example, for CFA-1, there is only one name ("caller"); and the context maps "caller" to an IMethod
As another example, for CPA, there would be name for each parameter slot ("zero","one","two"), and the Context provides a mapping
from this name to a set of types.
|
| Class and Description |
|---|
| AnalysisOptions
Basic interface for options that control call graph generation.
|
| CallGraph
Basic interface for a call graph, which is a graph of
CGNode |
| CGNode
Basic interface for a node in a call graph.
|
| Class and Description |
|---|
| CallGraph
Basic interface for a call graph, which is a graph of
CGNode |
| CGNode
Basic interface for a node in a call graph.
|
| Class and Description |
|---|
| CallGraph
Basic interface for a call graph, which is a graph of
CGNode |
| CGNode
Basic interface for a node in a call graph.
|
| Class and Description |
|---|
| CallGraph
Basic interface for a call graph, which is a graph of
CGNode |
| CGNode
Basic interface for a node in a call graph.
|
| Class and Description |
|---|
| AnalysisCache
A place to hold onto caches of various analysis artifacts.
|
| AnalysisOptions
Basic interface for options that control call graph generation.
|
| AnalysisOptions.ReflectionOptions
options for handling reflection during call graph construction
|
| AnalysisScope
Base class that represents a set of files to analyze.
|
| CallGraph
Basic interface for a call graph, which is a graph of
CGNode |
| CallGraphBuilderCancelException
An exception to throw when call graph construction is canceled.
|
| CallGraphStats.CGStats |
| CGNode
Basic interface for a node in a call graph.
|
| ClassTargetSelector
This interface represents policies for selecting a class to allocate at a given new site.
|
| Context
A Context is a mapping from a name (ContextKey) to a value (ContextItem)
For example, for CFA-1, there is only one name ("caller"); and the context maps "caller" to an IMethod
As another example, for CPA, there would be name for each parameter slot ("zero","one","two"), and the Context provides a mapping
from this name to a set of types.
|
| ContextItem
A placeholder for strong typing.
|
| ContextItem.Value |
| ContextKey
This just exists to enforce strong typing.
|
| Entrypoint
A representation of an entrypoint in the call graph.
|
| MethodTargetSelector
This interface represents policies for selecting a method to call at a given invocation site.
|
| ShallowAnalysisScope
A serializable version of
AnalysisScope. |
| Class and Description |
|---|
| CallGraph
Basic interface for a call graph, which is a graph of
CGNode |
| CGNode
Basic interface for a node in a call graph.
|
| Context
A Context is a mapping from a name (ContextKey) to a value (ContextItem)
For example, for CFA-1, there is only one name ("caller"); and the context maps "caller" to an IMethod
As another example, for CPA, there would be name for each parameter slot ("zero","one","two"), and the Context provides a mapping
from this name to a set of types.
|
| Entrypoint
A representation of an entrypoint in the call graph.
|
| Class and Description |
|---|
| AnalysisCache
A place to hold onto caches of various analysis artifacts.
|
| AnalysisOptions
Basic interface for options that control call graph generation.
|
| AnalysisScope
Base class that represents a set of files to analyze.
|
| CallGraph
Basic interface for a call graph, which is a graph of
CGNode |
| CallGraphBuilder
Basic interface for an object that can build a call graph.
|
| CGNode
Basic interface for a node in a call graph.
|
| ClassTargetSelector
This interface represents policies for selecting a class to allocate at a given new site.
|
| Context
A Context is a mapping from a name (ContextKey) to a value (ContextItem)
For example, for CFA-1, there is only one name ("caller"); and the context maps "caller" to an IMethod
As another example, for CPA, there would be name for each parameter slot ("zero","one","two"), and the Context provides a mapping
from this name to a set of types.
|
| ContextItem
A placeholder for strong typing.
|
| ContextKey
This just exists to enforce strong typing.
|
| ContextSelector
An interface to an object which helps control context-sensitivity.
|
| Entrypoint
A representation of an entrypoint in the call graph.
|
| MethodTargetSelector
This interface represents policies for selecting a method to call at a given invocation site.
|
| Class and Description |
|---|
| AnalysisCache
A place to hold onto caches of various analysis artifacts.
|
| AnalysisOptions
Basic interface for options that control call graph generation.
|
| CallGraph
Basic interface for a call graph, which is a graph of
CGNode |
| CallGraphBuilder
Basic interface for an object that can build a call graph.
|
| CallGraphBuilderCancelException
An exception to throw when call graph construction is canceled.
|
| CGNode
Basic interface for a node in a call graph.
|
| Context
A Context is a mapping from a name (ContextKey) to a value (ContextItem)
For example, for CFA-1, there is only one name ("caller"); and the context maps "caller" to an IMethod
As another example, for CPA, there would be name for each parameter slot ("zero","one","two"), and the Context provides a mapping
from this name to a set of types.
|
| ContextItem
A placeholder for strong typing.
|
| ContextKey
This just exists to enforce strong typing.
|
| ContextSelector
An interface to an object which helps control context-sensitivity.
|
| Class and Description |
|---|
| AnalysisCache
A place to hold onto caches of various analysis artifacts.
|
| AnalysisOptions
Basic interface for options that control call graph generation.
|
| AnalysisScope
Base class that represents a set of files to analyze.
|
| CallGraphBuilder
Basic interface for an object that can build a call graph.
|
| CGNode
Basic interface for a node in a call graph.
|
| Context
A Context is a mapping from a name (ContextKey) to a value (ContextItem)
For example, for CFA-1, there is only one name ("caller"); and the context maps "caller" to an IMethod
As another example, for CPA, there would be name for each parameter slot ("zero","one","two"), and the Context provides a mapping
from this name to a set of types.
|
| ContextItem
A placeholder for strong typing.
|
| ContextKey
This just exists to enforce strong typing.
|
| ContextSelector
An interface to an object which helps control context-sensitivity.
|
| Class and Description |
|---|
| AnalysisCache
A place to hold onto caches of various analysis artifacts.
|
| AnalysisOptions
Basic interface for options that control call graph generation.
|
| CallGraph
Basic interface for a call graph, which is a graph of
CGNode |
| CallGraphBuilder
Basic interface for an object that can build a call graph.
|
| CGNode
Basic interface for a node in a call graph.
|
| Context
A Context is a mapping from a name (ContextKey) to a value (ContextItem)
For example, for CFA-1, there is only one name ("caller"); and the context maps "caller" to an IMethod
As another example, for CPA, there would be name for each parameter slot ("zero","one","two"), and the Context provides a mapping
from this name to a set of types.
|
| ContextItem
A placeholder for strong typing.
|
| ContextSelector
An interface to an object which helps control context-sensitivity.
|
| Class and Description |
|---|
| CallGraph
Basic interface for a call graph, which is a graph of
CGNode |
| CGNode
Basic interface for a node in a call graph.
|
| Context
A Context is a mapping from a name (ContextKey) to a value (ContextItem)
For example, for CFA-1, there is only one name ("caller"); and the context maps "caller" to an IMethod
As another example, for CPA, there would be name for each parameter slot ("zero","one","two"), and the Context provides a mapping
from this name to a set of types.
|
| Class and Description |
|---|
| CallGraph
Basic interface for a call graph, which is a graph of
CGNode |
| CGNode
Basic interface for a node in a call graph.
|
| Class and Description |
|---|
| AnalysisScope
Base class that represents a set of files to analyze.
|
| Class and Description |
|---|
| CallGraph
Basic interface for a call graph, which is a graph of
CGNode |
| CGNode
Basic interface for a node in a call graph.
|
| Class and Description |
|---|
| CallGraph
Basic interface for a call graph, which is a graph of
CGNode |
| CGNode
Basic interface for a node in a call graph.
|
| Class and Description |
|---|
| CallGraph
Basic interface for a call graph, which is a graph of
CGNode |
| CGNode
Basic interface for a node in a call graph.
|
| Class and Description |
|---|
| AnalysisScope
Base class that represents a set of files to analyze.
|
| CGNode
Basic interface for a node in a call graph.
|
| ClassTargetSelector
This interface represents policies for selecting a class to allocate at a given new site.
|
| Context
A Context is a mapping from a name (ContextKey) to a value (ContextItem)
For example, for CFA-1, there is only one name ("caller"); and the context maps "caller" to an IMethod
As another example, for CPA, there would be name for each parameter slot ("zero","one","two"), and the Context provides a mapping
from this name to a set of types.
|
| ContextItem
A placeholder for strong typing.
|
| MethodTargetSelector
This interface represents policies for selecting a method to call at a given invocation site.
|
| Class and Description |
|---|
| Context
A Context is a mapping from a name (ContextKey) to a value (ContextItem)
For example, for CFA-1, there is only one name ("caller"); and the context maps "caller" to an IMethod
As another example, for CPA, there would be name for each parameter slot ("zero","one","two"), and the Context provides a mapping
from this name to a set of types.
|
| Class and Description |
|---|
| AnalysisScope
Base class that represents a set of files to analyze.
|
| Class and Description |
|---|
| AnalysisCache
A place to hold onto caches of various analysis artifacts.
|
| Class and Description |
|---|
| Entrypoint
A representation of an entrypoint in the call graph.
|
| Class and Description |
|---|
| CallGraph
Basic interface for a call graph, which is a graph of
CGNode |
Copyright © 2015. All rights reserved.