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

This package provides RTA call graph construction.

See:
Description

Class Summary

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 .
CallerSiteContextPair	This is a context which is defined by a pair consisting of .
CallStringContextSelector
CFABuilder	Common utilities for CFA-style call graph builders.
CFAPointerKeys
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 instance key selector
ContextInsensitiveSSAInterpreter	Default implementation of SSAContextInterpreter for context-insensitive analysis
DefaultSSAInterpreter	Basic analysis; context-insensitive except for newInstance and clone
DelegatingSSAContextInterpreter	A context interpreter that first checks with A, then defaults to B.
ExceptionReturnValueKey	A key which represents the return value for a node
nCFABuilder	nCFA Call graph builder
nCFAContextSelector
OneCFABuilder	1-CFA Call graph builder
OneLevelContextSelector	This is a context selector that adds one level of calling context to a base context selector.
OneLevelSiteContextSelector	This is a context selector that adds one level of calling context to a base context selector.
ZeroContainerCFABuilder	0-CFA Call graph builder which analyzes calls to "container methods" in a context which is defined by the receiver instance.
ZeroOneContainerCFABuilder	0-1-CFA Call graph builder which analyzes calls to "container methods" in a context which is defined by the receiver instance.
ZeroXCFABuilder	0-1-CFA Call graph builder, optimized to not disambiguate instances of "uninteresting" types
ZeroXInstanceKeys

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

This package provides RTA call graph construction.