Uses of Interface
com.ibm.wala.dataflow.IFDS.ISupergraph

Packages that use ISupergraph

Package	Description
com.ibm.wala.dataflow.IFDS	This package provides an RHS solver for IFDS problems.
com.ibm.wala.ipa.slicer

Uses of ISupergraph in com.ibm.wala.dataflow.IFDS

Classes in com.ibm.wala.dataflow.IFDS that implement ISupergraph

Modifier and Type	Class and Description
class	BackwardsSupergraph<T,P> A "reversed" supergraph for backwards analysis.
class	ICFGSupergraph Forward supergraph induced over an ExplodedInterproceduralCFG This should lazily build the supergraph as it is explored.

Fields in com.ibm.wala.dataflow.IFDS declared as ISupergraph

Modifier and Type	Field and Description
protected ISupergraph<T,P>	TabulationSolver.supergraph The supergraph which induces this dataflow problem

Methods in com.ibm.wala.dataflow.IFDS that return ISupergraph

Modifier and Type	Method and Description
ISupergraph<T,P>	TabulationSolver.getSupergraph()
ISupergraph<T,P>	TabulationProblem.getSupergraph()

Methods in com.ibm.wala.dataflow.IFDS with parameters of type ISupergraph

Modifier and Type	Method and Description
static <T,P> BackwardsSupergraph<T,P>	BackwardsSupergraph.make(ISupergraph<T,P> forwardGraph)

Constructors in com.ibm.wala.dataflow.IFDS with parameters of type ISupergraph

Constructor and Description
BackwardsSupergraph(ISupergraph<T,P> forwardGraph)

Uses of ISupergraph in com.ibm.wala.ipa.slicer

Methods in com.ibm.wala.ipa.slicer that return ISupergraph

Modifier and Type	Method and Description
ISupergraph<Statement,PDG>	Slicer.SliceProblem.getSupergraph()