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

This package provides CFA-style call graph construction and pointer analysis.

See: Description

Interface Summary

Interface	Description
RTAContextInterpreter	This object will analyze a method in a context and return information needed for RTA.

Class Summary

Class	Description
AbstractRTABuilder	Abstract superclass of various RTA flavors
BasicRTABuilder	TODO: refactor to eliminate more redundancy with SSACallGraphBuilder
CallSite	A utility class consisting of a pair CallSiteReference x CGNode
ContextInsensitiveRTAInterpreter	Default implementation of MethodContextInterpreter for context-insensitive analysis
DefaultRTAInterpreter	Basic analysis; context-insensitive
DelegatingExplicitCallGraph	A call graph implementation where some edges are delegated to other call sites, since they are guaranteed to be the same.
DelegatingRTAContextInterpreter	A context interpreter that first checks with A, then defaults to B.
RTASelectorKey	This RTA implementation tracks a single set of Classes for each Selector
TypeBasedHeapModel	A trivial field-based heap model, which only uses the information of which types (classes) are live.
TypeBasedPointerAnalysis	A trivial field-based pointer analysis solution, which only uses the information of which types (classes) are live.

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

This package provides CFA-style call graph construction and pointer analysis.