Uses of Package
soot.toolkits.graph

Packages that use soot.toolkits.graph

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.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

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

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

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

DirectedGraph
Defines the notion of a directed graph.

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

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

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

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

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

DirectedGraph
Defines the notion of a directed graph.

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

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.infoflow

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

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

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

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

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

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

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

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

DirectedGraph
Defines the notion of a directed graph.

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

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

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

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

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

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

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

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.

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

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.

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

DirectedGraph
Defines the notion of a directed graph.

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

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.

DominatorNode
Represents a dominator node in DominatorTree.

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

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

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

DirectedGraph
Defines the notion of a directed graph.

ExceptionalGraph
Defines the interface for navigating a control flow graph which distinguishes exceptional control flow.