See: Description
| Class | Description |
|---|---|
| AllocationString |
This is a
ContextItem that records n allocation sites, the 0th element represents the
most recently used receiver obj, which is an AllocationSiteInNode |
| AllocationStringContext |
This
Context consists of an AllocationString that records n allocation sites |
| 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 <caller node, base
context>. |
| CallerSiteContext |
A context which is a <CGNode, CallSiteReference> pair.
|
| CallerSiteContextPair |
This is a context which is defined by a pair consisting of <caller node, base context>.
|
| 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 | |
| nObjBuilder |
call graph builder based on object sensitivity
|
| nObjContextSelector |
k-limited object sensitive context selector
for static method : For a few well-known static factory methods from the standard
libraries, use
CallerSiteContext.Otherwise, directly copy the context of the last
non-static method
for virtual method : The Context consists of n allocation sites
for an object(fixed at allocation) : The heap context consists of n allocation sites
inherited from CGNode
|
| 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. |