Package com.ibm.wala.ipa.callgraph.propagation.cfa

This package provides RTA call graph construction.

See: Description

Class Summary

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

Package com.ibm.wala.ipa.callgraph.propagation.cfa Description

This package provides RTA call graph construction.