Uses of Interface
soot.toolkits.graph.DirectedBodyGraph

Packages that use DirectedBodyGraph

Package	Description
soot.jbco.util
soot.toolkits.graph	Toolkit to produce and manipulate various types of control flow graphs.
soot.toolkits.graph.pdg
soot.toolkits.scalar	A number of scalar optimizations, and the flow analysis framework.

Uses of DirectedBodyGraph in soot.jbco.util

Classes in soot.jbco.util that implement DirectedBodyGraph

Modifier and Type	Class	Description
class	SimpleExceptionalGraph

Uses of DirectedBodyGraph in soot.toolkits.graph

Subinterfaces of DirectedBodyGraph in soot.toolkits.graph

Modifier and Type	Interface	Description
interface	ExceptionalGraph<N>	Defines the interface for navigating a control flow graph which distinguishes exceptional control flow.

Classes in soot.toolkits.graph that implement DirectedBodyGraph

Modifier and Type	Class	Description
class	ArrayRefBlockGraph	A CFG where the nodes are Block instances, and where Units which include array references start new blocks.
class	BlockGraph	Represents the control flow graph of a Body at the basic block level.
class	BriefBlockGraph	Represents a CFG for a Body where the nodes are Blocks and edges are derived from control flow.
class	BriefUnitGraph	Represents a CFG where the nodes are Unit instances, and where no edges are included to account for control flow associated with exceptions.
class	ClassicCompleteBlockGraph	Represents a CFG where the nodes are Blocks and the edges are derived from control flow.
class	ClassicCompleteUnitGraph	Represents a CFG for a Body instance where the nodes are Unit instances, and where edges are a conservative indication of unexceptional and exceptional control flow.
class	CompleteBlockGraph	Represents a CFG for a Body instance where the nodes are Block instances, and where control flow associated with exceptions is taken into account.
class	CompleteUnitGraph	Represents a CFG for a Body instance where the nodes are Unit instances, and where control flow associated with exceptions is taken into account.
class	ExceptionalBlockGraph	Represents a CFG where the nodes are Blocks and the edges are derived from control flow.
class	ExceptionalUnitGraph	Represents a control flow graph for a Body instance where the nodes are Unit instances, and where control flow associated with exceptions is taken into account.
class	TrapUnitGraph	Represents a CFG for a Body instance where the nodes are Unit instances, and where, in additional to unexceptional control flow edges, edges are added from every trapped Unit to the Trap's handler Unit, regardless of whether the trapped Units may actually throw the exception caught by the Trap.
class	UnitGraph	Represents a CFG where the nodes are Unit instances and edges represent unexceptional and (possibly) exceptional control flow between Units.
class	ZonedBlockGraph	A CFG where the nodes are Block instances, and where exception boundaries are taken into account when finding the Blocks for the provided Body.

Uses of DirectedBodyGraph in soot.toolkits.graph.pdg

Classes in soot.toolkits.graph.pdg that implement DirectedBodyGraph

Modifier and Type	Class	Description
class	EnhancedBlockGraph
class	EnhancedUnitGraph	This class represents a control flow graph which behaves like an ExceptionalUnitGraph and BriefUnitGraph when there are no exception handling construct in the method; at the presence of such constructs, the CFG is constructed from a brief graph by adding a concise representation of the exceptional flow as well as START/STOP auxiliary nodes.

Uses of DirectedBodyGraph in soot.toolkits.scalar

Methods in soot.toolkits.scalar with parameters of type DirectedBodyGraph

Modifier and Type	Method	Description
static LiveLocals	LiveLocals.Factory.newLiveLocals(DirectedBodyGraph<Unit> graph)

Constructors in soot.toolkits.scalar with parameters of type DirectedBodyGraph

Constructor	Description
InitAnalysis(DirectedBodyGraph<Unit> g)
SimpleLiveLocals(DirectedBodyGraph<Unit> graph)	Computes the analysis given a DirectedBodyGraph computed from a method body.