See: Description
Class | Description |
---|---|
CallerContext |
This is a context which is defined by the caller node.
|
CallerContextPair |
This is a
Context which is defined by a pair consisting of |
CallerSiteContext |
A context which is a
|
CallerSiteContextPair |
This is a context which is defined by a pair consisting of
|
CallString | |
CallStringContext | |
CallStringContextSelector | |
CallStringContextSelector.CallStringContextPair | |
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. |
ContextInsensitiveSSAInterpreter |
Default implementation of SSAContextInterpreter for context-insensitive analysis.
|
DefaultPointerKeyFactory |
Default implementation of
PointerKeyFactory |
DefaultSSAInterpreter |
Basic analysis; context-insensitive except for newInstance and clone
|
DelegatingSSAContextInterpreter |
An
SSAContextInterpreter that first checks with A, then defaults to B. |
ExceptionReturnValueKey |
A key which represents the return value for a node.
|
FallbackContextInterpreter |
This ContextInterpreter can be used when using another WALA frontend than the shrike frontend.
|
nCFABuilder |
nCFA Call graph builder.
|
nCFAContextSelector | |
OneLevelSiteContextSelector |
This is a context selector that adds one level of calling context to a base context selector.
|
ZeroXCFABuilder |
0-1-CFA Call graph builder, optimized to not disambiguate instances of "uninteresting" types.
|
ZeroXContainerCFABuilder |
0-X-CFA Call graph builder which analyzes calls to "container methods" in a context which is defined by the receiver instance.
|
ZeroXInstanceKeys |
Flexible class to create
InstanceKey s depending on various policies ranging from class-based (i.e. |