| 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 |
AbstractReflectionInterpreter
An abstract superclass of various
SSAContextInterpreters that deal with reflection methods. |
class |
ClassFactoryContextInterpreter
An
SSAContextInterpreter specialized to interpret reflective class factories (e.g. |
class |
ClassNewInstanceContextInterpreter
An
SSAContextInterpreter specialized to interpret Class.newInstance in a JavaTypeContext which represents the
point-type of the class object created by the call. |
class |
CloneInterpreter
A context interpreter for java.lang.Object.clone
TODO: The current implementation does not model CloneNotSupportedExceptions
|
class |
FactoryBypassInterpreter
Logic to interpret "factory" methods in context.
|
class |
GetClassContextInterpeter
SSAContextInterpreter specialized to interpret Object.getClass() in a JavaTypeContext |
class |
GetMethodContextInterpreter
Understands
GetMethodContext. |
class |
JavaLangClassContextInterpreter
An
SSAContextInterpreter specialized to interpret methods on java.lang.Class in a JavaTypeContext which
represents the point-type of the class object created by the call. |
class |
ReflectiveInvocationInterpreter
An
SSAContextInterpreter specialized to interpret reflective invocations such as Constructor.newInstance and
Method.invoke on an IMethod constant. |
| Modifier and Type | Class and Description |
|---|---|
static class |
MethodHandles.ContextInterpreterImpl |
| Modifier and Type | Method and Description |
|---|---|
RTAContextInterpreter |
AbstractRootMethod.getInterpreter() |
| Modifier and Type | Interface and Description |
|---|---|
interface |
SSAContextInterpreter
An object that provides an interface to local method information needed for CFA.
|
| Modifier and Type | Method and Description |
|---|---|
RTAContextInterpreter |
PropagationCallGraphBuilder.getContextInterpreter()
END Custom change: setter for pointerkey factory
|
| Modifier and Type | Class and Description |
|---|---|
class |
ContextInsensitiveSSAInterpreter
Default implementation of SSAContextInterpreter for context-insensitive analysis.
|
class |
DefaultSSAInterpreter
Basic analysis; context-insensitive except for newInstance and clone
|
class |
DelegatingSSAContextInterpreter
An
SSAContextInterpreter that first checks with A, then defaults to B. |
class |
FallbackContextInterpreter
This ContextInterpreter can be used when using another WALA frontend than the shrike frontend.
|
| Constructor and Description |
|---|
ZeroXInstanceKeys(AnalysisOptions options,
IClassHierarchy cha,
RTAContextInterpreter contextInterpreter,
int policy) |
| Modifier and Type | Class and Description |
|---|---|
class |
ContextInsensitiveRTAInterpreter
Default implementation of MethodContextInterpreter for context-insensitive analysis
|
class |
DefaultRTAInterpreter
Basic analysis; context-insensitive
|
class |
DelegatingRTAContextInterpreter
A context interpreter that first checks with A, then defaults to B.
|
| Modifier and Type | Method and Description |
|---|---|
protected RTAContextInterpreter |
AbstractRTABuilder.getRTAContextInterpreter() |
| Constructor and Description |
|---|
DelegatingRTAContextInterpreter(RTAContextInterpreter A,
RTAContextInterpreter B) |
Copyright © 2015. All rights reserved.