|
|||||||||||
| 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.callgraph | |
| soot.jimple.toolkits.pointer | |
| 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.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 Units 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.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.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. |
|
| 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. |
|
| 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. |
|
| 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. |
|
| 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.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 | ||||||||||