Uses of Interface
soot.toolkits.graph.DominanceFrontier

Packages that use DominanceFrontier

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

protected DominanceFrontier	DefaultShimpleFactory.dFrontier
protected DominanceFrontier	DefaultShimpleFactory.dFrontier
protected DominanceFrontier	DefaultShimpleFactory.rdFrontier
protected DominanceFrontier	DefaultShimpleFactory.rdFrontier

Methods in soot.shimple that return DominanceFrontier

DominanceFrontier	DefaultShimpleFactory.getDominanceFrontier()
DominanceFrontier	ShimpleFactory.getDominanceFrontier()
DominanceFrontier	ShimpleFactory.getDominanceFrontier()
DominanceFrontier	DefaultShimpleFactory.getDominanceFrontier()
DominanceFrontier	DefaultShimpleFactory.getReverseDominanceFrontier()
DominanceFrontier	ShimpleFactory.getReverseDominanceFrontier()
DominanceFrontier	ShimpleFactory.getReverseDominanceFrontier()
DominanceFrontier	DefaultShimpleFactory.getReverseDominanceFrontier()

Uses of DominanceFrontier in soot.shimple.internal

Fields in soot.shimple.internal declared as DominanceFrontier

protected DominanceFrontier	PhiNodeManager.df
protected DominanceFrontier	PiNodeManager.df
protected DominanceFrontier	PiNodeManager.df
protected DominanceFrontier	PhiNodeManager.df

Uses of DominanceFrontier in soot.toolkits.graph

Classes in soot.toolkits.graph that implement DominanceFrontier

class

CytronDominanceFrontier Class to compute the DominanceFrontier using Cytron's celebrated efficient algorithm.