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.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 and Description
Block Represents BasicBlocks that partition a method body.
SlowPseudoTopologicalOrderer Provide the pseudo topological order of a graph's nodes.

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

Class and 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 and 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 and Description
DirectedGraph Defines the notion of a directed graph.

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

Class and Description
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.logic

Class and 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 and 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 and 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 and Description
DirectedGraph Defines the notion of a directed graph.

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

Class and 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.ide.icfg

Class and Description
DirectedGraph Defines the notion of a directed graph.

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

Class and 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 and 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 and 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 and 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 and 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 and 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 and 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 and Description
DirectedGraph Defines the notion of a directed graph.

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

Class and 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 and 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 and 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 and 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.
DominatorTree Constructs a dominator tree structure from the given DominatorsFinder.
ReversibleGraph DirectedGraph which can be reversed and re-reversed.

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

Class and 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 and 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 and 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.
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.
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
HashMutableDirectedGraph HashMap based implementation of a MutableBlockGraph.
HashMutableEdgeLabelledDirectedGraph
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 and Description
DirectedGraph Defines the notion of a directed graph.

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

Class and Description
Block Represents BasicBlocks that partition a method body.
BlockGraph Represents the control flow graph of a Body at the basic block level.
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.
HashMutableEdgeLabelledDirectedGraph
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 and Description
DirectedGraph Defines the notion of a directed graph.
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 and 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 and Description
DirectedGraph Defines the notion of a directed graph.
ExceptionalGraph Defines the interface for navigating a control flow graph which distinguishes exceptional control flow.