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

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

See:
Description

Interface Summary

RTAContextInterpreter

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

Class Summary

AbstractRTABuilder	Abstract superclass of various RTA flavors
BasicRTABuilder
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 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.