| Package | Description |
|---|---|
| com.ibm.wala.client |
This package provides interfaces for some base utilities for use by WALA clients.
|
| 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.
|
| Modifier and Type | Method and Description |
|---|---|
protected CallGraphBuilder |
AbstractAnalysisEngine.buildCallGraph(IClassHierarchy cha,
AnalysisOptions options,
boolean savePointerAnalysis,
com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor) |
CallGraphBuilder |
AbstractAnalysisEngine.defaultCallGraphBuilder()
Builds the call graph for the analysis scope in effect, using all of the given entry points.
|
protected abstract CallGraphBuilder |
AbstractAnalysisEngine.getCallGraphBuilder(IClassHierarchy cha,
AnalysisOptions options,
AnalysisCache cache) |
| Modifier and Type | Method and Description |
|---|---|
static CallGraphBuilder |
Util.makeRTABuilder(AnalysisOptions options,
AnalysisCache cache,
IClassHierarchy cha,
AnalysisScope scope) |
| Modifier and Type | Class and Description |
|---|---|
class |
PropagationCallGraphBuilder
This abstract base class provides the general algorithm for a call graph builder that relies on propagation through an iterative
dataflow solver
TODO: This implementation currently keeps all points to sets live ...
|
class |
SSAPropagationCallGraphBuilder
This abstract base class provides the general algorithm for a call graph builder that relies on propagation through an iterative
dataflow solver, and constraints generated by statements in SSA form.
|
| Modifier and Type | Class and Description |
|---|---|
class |
nCFABuilder
nCFA Call graph builder.
|
class |
ZeroXCFABuilder
0-1-CFA Call graph builder, optimized to not disambiguate instances of "uninteresting" types.
|
class |
ZeroXContainerCFABuilder
0-X-CFA Call graph builder which analyzes calls to "container methods" in a context which is defined by the receiver instance.
|
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractRTABuilder
Abstract superclass of various RTA flavors
|
class |
BasicRTABuilder
TODO: refactor to eliminate more redundancy with SSACallGraphBuilder
|
Copyright © 2015. All rights reserved.