| Package | Description |
|---|---|
| com.ibm.wala.analysis.reflection |
This package provides functions to deal with reflection.
|
| com.ibm.wala.analysis.reflection.java7 | |
| 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 | Class and Description |
|---|---|
class |
GetClassContextSelector
A
ContextSelector to intercept calls to Object.getClass() |
class |
GetMethodContextSelector
Produces
GetMethodContext if appropriate. |
| Modifier and Type | Method and Description |
|---|---|
static ContextSelector |
ReflectionContextSelector.createReflectionContextSelector(AnalysisOptions options) |
| Modifier and Type | Class and Description |
|---|---|
static class |
MethodHandles.ContextSelectorImpl |
| Constructor and Description |
|---|
MethodHandles.ContextSelectorImpl(ContextSelector base) |
| Modifier and Type | Class and Description |
|---|---|
class |
ContextInsensitiveSelector
A basic context selector that ignores context.
|
class |
DefaultContextSelector
Default object to control context-insensitive context selection, This includes reflection logic.
|
class |
DelegatingContextSelector
A context selector that first checks with A, then defaults to B.
|
class |
UnionContextSelector
Checks ContextSelectors A and B, then returns the union of their findings.
|
| Constructor and Description |
|---|
DelegatingContextSelector(ContextSelector A,
ContextSelector B) |
UnionContextSelector(ContextSelector A,
ContextSelector B) |
| Modifier and Type | Class and Description |
|---|---|
class |
CloneContextSelector
This context selector selects a context based on the concrete type of
the receiver to a call of java.lang.Object.clone
|
class |
ReceiverTypeContextSelector
This context selector selects a context based on the concrete type of the receiver.
|
class |
TargetMethodContextSelector
This context selector selects a context based on whether the receiver type
dispatches to a given method.
|
| Modifier and Type | Field and Description |
|---|---|
protected ContextSelector |
PropagationCallGraphBuilder.contextSelector
A context selector which may use information derived from the propagation-based dataflow.
|
| Modifier and Type | Method and Description |
|---|---|
ContextSelector |
PropagationCallGraphBuilder.getContextSelector() |
| Modifier and Type | Method and Description |
|---|---|
void |
PropagationCallGraphBuilder.setContextSelector(ContextSelector selector) |
| Modifier and Type | Class and Description |
|---|---|
class |
CallStringContextSelector |
class |
ContainerContextSelector
This context selector returns a context customized for the
InstanceKey of the receiver if
receiver is a container, or
was allocated in a node whose context was a ReceiverInstanceContext, and the type is interesting according to a delegate
ZeroXInstanceKeys
Additionally, we add one level of call string context to a few well-known static factory methods from the standard libraries. |
class |
nCFAContextSelector |
class |
OneLevelSiteContextSelector
This is a context selector that adds one level of calling context to a base context selector.
|
| Modifier and Type | Method and Description |
|---|---|
protected ContextSelector |
ZeroXContainerCFABuilder.makeContainerContextSelector(IClassHierarchy cha,
ZeroXInstanceKeys keys) |
| Modifier and Type | Method and Description |
|---|---|
static ZeroXCFABuilder |
ZeroXCFABuilder.make(IClassHierarchy cha,
AnalysisOptions options,
AnalysisCache cache,
ContextSelector appContextSelector,
SSAContextInterpreter appContextInterpreter,
int instancePolicy) |
| Constructor and Description |
|---|
CallStringContextSelector(ContextSelector base) |
nCFABuilder(int n,
IClassHierarchy cha,
AnalysisOptions options,
AnalysisCache cache,
ContextSelector appContextSelector,
SSAContextInterpreter appContextInterpreter) |
nCFAContextSelector(int n,
ContextSelector base) |
OneLevelSiteContextSelector(ContextSelector baseSelector) |
ZeroXCFABuilder(IClassHierarchy cha,
AnalysisOptions options,
AnalysisCache cache,
ContextSelector appContextSelector,
SSAContextInterpreter appContextInterpreter,
int instancePolicy) |
ZeroXContainerCFABuilder(IClassHierarchy cha,
AnalysisOptions options,
AnalysisCache cache,
ContextSelector appContextSelector,
SSAContextInterpreter appContextInterpreter,
int instancePolicy) |
| Modifier and Type | Method and Description |
|---|---|
protected ContextSelector |
AbstractRTABuilder.makeContextSelector(ContextSelector appContextSelector) |
| Modifier and Type | Method and Description |
|---|---|
protected ContextSelector |
AbstractRTABuilder.makeContextSelector(ContextSelector appContextSelector) |
| Constructor and Description |
|---|
AbstractRTABuilder(IClassHierarchy cha,
AnalysisOptions options,
AnalysisCache cache,
ContextSelector appContextSelector,
SSAContextInterpreter appContextInterpreter) |
BasicRTABuilder(IClassHierarchy cha,
AnalysisOptions options,
AnalysisCache cache,
ContextSelector contextSelector,
SSAContextInterpreter contextInterpreter) |
Copyright © 2015. All rights reserved.