Uses of Interface
soot.toolkits.graph.DominanceFrontier

Packages that use DominanceFrontier

Package	Description
soot.shimple	Public classes for the SSA Shimple intermediate representation.
soot.shimple.internal	Shimple internal messy stuff.
soot.toolkits.graph	Toolkit to produce and manipulate various types of control flow graphs.

Uses of DominanceFrontier in soot.shimple

Fields in soot.shimple declared as DominanceFrontier

Modifier and Type	Field and Description
protected DominanceFrontier<Block>	DefaultShimpleFactory.dFrontier
protected DominanceFrontier<Block>	DefaultShimpleFactory.rdFrontier

Methods in soot.shimple that return DominanceFrontier

Modifier and Type	Method and Description
DominanceFrontier<Block>	ShimpleFactory.getDominanceFrontier()
DominanceFrontier<Block>	DefaultShimpleFactory.getDominanceFrontier()
DominanceFrontier<Block>	ShimpleFactory.getReverseDominanceFrontier()
DominanceFrontier<Block>	DefaultShimpleFactory.getReverseDominanceFrontier()

Uses of DominanceFrontier in soot.shimple.internal

Fields in soot.shimple.internal declared as DominanceFrontier

Modifier and Type	Field and Description
protected DominanceFrontier<Block>	PhiNodeManager.df
protected DominanceFrontier<Block>	PiNodeManager.df

Uses of DominanceFrontier in soot.toolkits.graph

Classes in soot.toolkits.graph that implement DominanceFrontier

Modifier and Type	Class and Description
class	CytronDominanceFrontier<N> Class to compute the DominanceFrontier using Cytron's celebrated efficient algorithm.