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 pair.
|
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 |
|
DefaultSSAInterpreter |
Basic analysis; context-insensitive except for newInstance and clone
|
DelegatingSSAContextInterpreter |
|
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.
|