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

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

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

Related Packages

Package	Description
com.ibm.wala.ipa.callgraph.propagation	This package provides the base layer for propagation-based call graph construction and pointer analysis.
com.ibm.wala.ipa.callgraph.propagation.cfa	This package provides RTA call graph construction.

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.
RTAContextInterpreter	This object will analyze a method in a context and return information needed for RTA.
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.