| 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 InstanceKeys depending on various policies ranging from class-based (i.e. |