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 and Description
class	SimpleExceptionalGraph

Uses of DirectedBodyGraph in soot.toolkits.graph

Subinterfaces of DirectedBodyGraph in soot.toolkits.graph

Modifier and Type	Interface and 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 and 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 and 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 and Description
static LiveLocals	LiveLocals.Factory.newLiveLocals(DirectedBodyGraph<Unit> graph)

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

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