Uses of Package
soot.toolkits.graph

Packages that use soot.toolkits.graph

Package	Description
soot	Base Soot classes, shared by different intermediate representations.
soot.dava.internal.asg
soot.jbco.bafTransformations
soot.jbco.jimpleTransformations
soot.jbco.util
soot.jimple.toolkits.annotation.arraycheck	Classes that carry out an analysis to determine whether or not array bounds checks are necessary.
soot.jimple.toolkits.annotation.logic
soot.jimple.toolkits.annotation.nullcheck	Classes that carry out an analysis to determine whether or not null pointer checks are necessary.
soot.jimple.toolkits.annotation.parity
soot.jimple.toolkits.annotation.purity
soot.jimple.toolkits.callgraph
soot.jimple.toolkits.ide.icfg
soot.jimple.toolkits.infoflow
soot.jimple.toolkits.pointer
soot.jimple.toolkits.scalar	A toolkit for scalar optimization of Jimple.
soot.jimple.toolkits.scalar.pre	Particial redundency elimination.
soot.jimple.toolkits.thread
soot.jimple.toolkits.thread.mhp
soot.jimple.toolkits.thread.mhp.findobject
soot.jimple.toolkits.thread.mhp.pegcallgraph
soot.jimple.toolkits.thread.mhp.stmt
soot.jimple.toolkits.thread.synchronization
soot.shimple	Public classes for the SSA Shimple intermediate representation.
soot.shimple.internal	Shimple internal messy stuff.
soot.shimple.toolkits.graph
soot.toolkits.exceptions
soot.toolkits.graph	Toolkit to produce and manipulate various types of control flow graphs.
soot.toolkits.graph.interaction
soot.toolkits.graph.pdg
soot.toolkits.scalar	A number of scalar optimizations, and the flow analysis framework.
soot.util	Generally useful utility classes for Soot.
soot.util.cfgcmd

Classes in soot.toolkits.graph used by soot

Class	Description
Block	Represents BasicBlocks that partition a method body.
ExceptionalUnitGraphFactory
SlowPseudoTopologicalOrderer	Provide the pseudo topological order of a graph's nodes.

Classes in soot.toolkits.graph used by soot.dava.internal.asg

Class	Description
BriefUnitGraph	Represents a CFG where the nodes are Unit instances, and where no edges are included to account for control flow associated with exceptions.
DirectedGraph	Defines the notion of a directed graph.
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.

Classes in soot.toolkits.graph used by soot.jbco.bafTransformations

Class	Description
BriefUnitGraph	Represents a CFG where the nodes are Unit instances, and where no edges are included to account for control flow associated with exceptions.

Classes in soot.toolkits.graph used by soot.jbco.jimpleTransformations

Class	Description
DirectedGraph	Defines the notion of a directed graph.

Classes in soot.toolkits.graph used by soot.jbco.util

Class	Description
DirectedBodyGraph
DirectedGraph	Defines the notion of a directed graph.
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.
UnitGraph	Represents a CFG where the nodes are Unit instances and edges represent unexceptional and (possibly) exceptional control flow between Units.

Classes in soot.toolkits.graph used by soot.jimple.toolkits.annotation.arraycheck

Class	Description
DirectedGraph	Defines the notion of a directed graph.
HashMutableDirectedGraph	HashMap based implementation of a MutableBlockGraph.
MutableDirectedGraph	Defines a DirectedGraph which is modifiable.

Classes in soot.toolkits.graph used by soot.jimple.toolkits.annotation.logic

Class	Description
UnitGraph	Represents a CFG where the nodes are Unit instances and edges represent unexceptional and (possibly) exceptional control flow between Units.

Classes in soot.toolkits.graph used by soot.jimple.toolkits.annotation.nullcheck

Class	Description
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.
UnitGraph	Represents a CFG where the nodes are Unit instances and edges represent unexceptional and (possibly) exceptional control flow between Units.

Classes in soot.toolkits.graph used by soot.jimple.toolkits.annotation.parity

Class	Description
UnitGraph	Represents a CFG where the nodes are Unit instances and edges represent unexceptional and (possibly) exceptional control flow between Units.

Classes in soot.toolkits.graph used by soot.jimple.toolkits.annotation.purity

Class	Description
DirectedGraph	Defines the notion of a directed graph.

Classes in soot.toolkits.graph used by soot.jimple.toolkits.callgraph

Class	Description
DirectedGraph	Defines the notion of a directed graph.
UnitGraph	Represents a CFG where the nodes are Unit instances and edges represent unexceptional and (possibly) exceptional control flow between Units.

Classes in soot.toolkits.graph used by soot.jimple.toolkits.ide.icfg

Class	Description
DirectedGraph	Defines the notion of a directed graph.

Classes in soot.toolkits.graph used by soot.jimple.toolkits.infoflow

Class	Description
DirectedGraph	Defines the notion of a directed graph.
HashMutableDirectedGraph	HashMap based implementation of a MutableBlockGraph.
MutableDirectedGraph	Defines a DirectedGraph which is modifiable.
UnitGraph	Represents a CFG where the nodes are Unit instances and edges represent unexceptional and (possibly) exceptional control flow between Units.

Classes in soot.toolkits.graph used by soot.jimple.toolkits.pointer

Class	Description
BriefUnitGraph	Represents a CFG where the nodes are Unit instances, and where no edges are included to account for control flow associated with exceptions.
DirectedGraph	Defines the notion of a directed graph.
UnitGraph	Represents a CFG where the nodes are Unit instances and edges represent unexceptional and (possibly) exceptional control flow between Units.

Classes in soot.toolkits.graph used by soot.jimple.toolkits.scalar

Class	Description
DirectedGraph	Defines the notion of a directed graph.
UnitGraph	Represents a CFG where the nodes are Unit instances and edges represent unexceptional and (possibly) exceptional control flow between Units.

Classes in soot.toolkits.graph used by soot.jimple.toolkits.scalar.pre

Class	Description
DirectedGraph	Defines the notion of a directed graph.
UnitGraph	Represents a CFG where the nodes are Unit instances and edges represent unexceptional and (possibly) exceptional control flow between Units.

Classes in soot.toolkits.graph used by soot.jimple.toolkits.thread

Class	Description
UnitGraph	Represents a CFG where the nodes are Unit instances and edges represent unexceptional and (possibly) exceptional control flow between Units.

Classes in soot.toolkits.graph used by soot.jimple.toolkits.thread.mhp

Class	Description
DirectedGraph	Defines the notion of a directed graph.
UnitGraph	Represents a CFG where the nodes are Unit instances and edges represent unexceptional and (possibly) exceptional control flow between Units.

Classes in soot.toolkits.graph used by soot.jimple.toolkits.thread.mhp.findobject

Class	Description
UnitGraph	Represents a CFG where the nodes are Unit instances and edges represent unexceptional and (possibly) exceptional control flow between Units.

Classes in soot.toolkits.graph used by soot.jimple.toolkits.thread.mhp.pegcallgraph

Class	Description
DirectedGraph	Defines the notion of a directed graph.

Classes in soot.toolkits.graph used by soot.jimple.toolkits.thread.mhp.stmt

Class	Description
UnitGraph	Represents a CFG where the nodes are Unit instances and edges represent unexceptional and (possibly) exceptional control flow between Units.

Classes in soot.toolkits.graph used by soot.jimple.toolkits.thread.synchronization

Class	Description
DirectedGraph	Defines the notion of a directed graph.
MutableDirectedGraph	Defines a DirectedGraph which is modifiable.
MutableEdgeLabelledDirectedGraph	Defines a DirectedGraph which is modifiable and associates a label object with every edge.
UnitGraph	Represents a CFG where the nodes are Unit instances and edges represent unexceptional and (possibly) exceptional control flow between Units.

Classes in soot.toolkits.graph used by soot.shimple

Class	Description
Block	Represents BasicBlocks that partition a method body.
BlockGraph	Represents the control flow graph of a Body at the basic block level.
DominanceFrontier	Interface to compute and/or store the dominance frontiers of nodes in a dominator tree.
DominatorsFinder	General interface for a dominators analysis.
DominatorTree	Constructs a dominator tree structure from the given DominatorsFinder.
ReversibleGraph	DirectedGraph which can be reversed and re-reversed.
UnitGraph	Represents a CFG where the nodes are Unit instances and edges represent unexceptional and (possibly) exceptional control flow between Units.

Classes in soot.toolkits.graph used by soot.shimple.internal

Class	Description
Block	Represents BasicBlocks that partition a method body.
BlockGraph	Represents the control flow graph of a Body at the basic block level.
ReversibleGraph	DirectedGraph which can be reversed and re-reversed.

Classes in soot.toolkits.graph used by soot.shimple.toolkits.graph

Class	Description
BlockGraph	Represents the control flow graph of a Body at the basic block level.

Classes in soot.toolkits.graph used by soot.toolkits.exceptions

Class	Description
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.
UnitGraph	Represents a CFG where the nodes are Unit instances and edges represent unexceptional and (possibly) exceptional control flow between Units.

Classes in soot.toolkits.graph used by soot.toolkits.graph

Class	Description
Block	Represents BasicBlocks that partition a method body.
BlockGraph	Represents the control flow graph of a Body at the basic block level.
BriefUnitGraph	Represents a CFG where the nodes are Unit instances, and where no edges are included to account for control flow associated with exceptions.
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.
DirectedBodyGraph
DirectedGraph	Defines the notion of a directed graph.
DominanceFrontier	Interface to compute and/or store the dominance frontiers of nodes in a dominator tree.
DominatorNode	Represents a dominator node in DominatorTree.
DominatorsFinder	General interface for a dominators analysis.
DominatorTree	Constructs a dominator tree structure from the given DominatorsFinder.
EdgeLabelledDirectedGraph	A DirectedGraph with labels on the edges.
ExceptionalBlockGraph	Represents a CFG where the nodes are Blocks and the edges are derived from control flow.
ExceptionalBlockGraph.ExceptionDest
ExceptionalGraph	Defines the interface for navigating a control flow graph which distinguishes exceptional control flow.
ExceptionalGraph.ExceptionDest	Data structure to represent the fact that a given Trap will catch some subset of the exceptions which may be thrown by a given graph node.
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.
ExceptionalUnitGraph.ExceptionDest
ExceptionalUnitGraphFactory
HashMutableDirectedGraph	HashMap based implementation of a MutableBlockGraph.
HashMutableEdgeLabelledDirectedGraph	HashMap based implementation of a MutableEdgeLabelledDirectedGraph.
HashMutableEdgeLabelledDirectedGraph.DGEdge
MHGDominatorsFinder	Calculate dominators for basic blocks.
MutableDirectedGraph	Defines a DirectedGraph which is modifiable.
MutableEdgeLabelledDirectedGraph	Defines a DirectedGraph which is modifiable and associates a label object with every edge.
Orderer	An orderer builds an order on a directed, not necessarily acyclic, graph.
PseudoTopologicalOrderer	Orders in pseudo-topological order, the nodes of a DirectedGraph instance.
ReversibleGraph	DirectedGraph which can be reversed and re-reversed.
SlowPseudoTopologicalOrderer	Provide the pseudo topological order of a graph's nodes.
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.
UnitGraph	Represents a CFG where the nodes are Unit instances and edges represent unexceptional and (possibly) exceptional control flow between Units.

Classes in soot.toolkits.graph used by soot.toolkits.graph.interaction

Class	Description
DirectedGraph	Defines the notion of a directed graph.

Classes in soot.toolkits.graph used by soot.toolkits.graph.pdg

Class	Description
Block	Represents BasicBlocks that partition a method body.
BlockGraph	Represents the control flow graph of a Body at the basic block level.
DirectedBodyGraph
DirectedGraph	Defines the notion of a directed graph.
DominatorsFinder	General interface for a dominators analysis.
DominatorTree	Constructs a dominator tree structure from the given DominatorsFinder.
EdgeLabelledDirectedGraph	A DirectedGraph with labels on the edges.
HashMutableEdgeLabelledDirectedGraph	HashMap based implementation of a MutableEdgeLabelledDirectedGraph.
MutableEdgeLabelledDirectedGraph	Defines a DirectedGraph which is modifiable and associates a label object with every edge.
UnitGraph	Represents a CFG where the nodes are Unit instances and edges represent unexceptional and (possibly) exceptional control flow between Units.

Classes in soot.toolkits.graph used by soot.toolkits.scalar

Class	Description
DirectedBodyGraph
DirectedGraph	Defines the notion of a directed graph.
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.
Orderer	An orderer builds an order on a directed, not necessarily acyclic, graph.
UnitGraph	Represents a CFG where the nodes are Unit instances and edges represent unexceptional and (possibly) exceptional control flow between Units.

Classes in soot.toolkits.graph used by soot.util

Class	Description
DirectedGraph	Defines the notion of a directed graph.
ExceptionalGraph	Defines the interface for navigating a control flow graph which distinguishes exceptional control flow.
UnitGraph	Represents a CFG where the nodes are Unit instances and edges represent unexceptional and (possibly) exceptional control flow between Units.

Classes in soot.toolkits.graph used by soot.util.cfgcmd

Class	Description
DirectedGraph	Defines the notion of a directed graph.
ExceptionalGraph	Defines the interface for navigating a control flow graph which distinguishes exceptional control flow.