|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use soot.toolkits.graph | |
soot.dava.internal.asg | |
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.pointer | |
soot.jimple.toolkits.scalar | A toolkit for scalar optimization of Jimple. |
soot.jimple.toolkits.scalar.pre | Particial redundency elimination. |
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.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.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 Unit s may actually throw the
exception caught by the Trap . |
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.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. |
Classes in soot.toolkits.graph used by soot.jimple.toolkits.scalar | |
DirectedGraph
Defines the notion of a directed graph. |
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.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 Block s and the
edges are derived from control flow. |
|
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. |
|
HashMutableDirectedGraph
HashMap based implementation of a MutableBlockGraph. |
|
MutableDirectedGraph
Defines a DirectedGraph which is modifiable. |
|
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 Unit s 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.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.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. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |