Uses of Interface
com.ibm.wala.ipa.callgraph.propagation.IPointsToSolver

Packages that use IPointsToSolver

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.rta	This package provides CFA-style call graph construction and pointer analysis.

Uses of IPointsToSolver in com.ibm.wala.ipa.callgraph.propagation

Classes in com.ibm.wala.ipa.callgraph.propagation that implement IPointsToSolver

Modifier and Type	Class and Description
class	AbstractPointsToSolver Abstract base class for solver for pointer analysis.
class	StandardSolver standard fixed-point iterative solver for pointer analysis

Methods in com.ibm.wala.ipa.callgraph.propagation that return IPointsToSolver

Modifier and Type	Method and Description
protected IPointsToSolver	PropagationCallGraphBuilder.getSolver()
protected IPointsToSolver	SSAPropagationCallGraphBuilder.makeSolver()
protected abstract IPointsToSolver	PropagationCallGraphBuilder.makeSolver()

Uses of IPointsToSolver in com.ibm.wala.ipa.callgraph.propagation.rta

Methods in com.ibm.wala.ipa.callgraph.propagation.rta that return IPointsToSolver

Modifier and Type	Method and Description
protected IPointsToSolver	AbstractRTABuilder.makeSolver()