| Package | Description |
|---|---|
| soot.jimple.toolkits.annotation.arraycheck |
Classes that carry out an analysis to determine whether or not array bounds
checks are necessary.
|
| soot.jimple.toolkits.infoflow | |
| soot.toolkits.graph |
Toolkit to produce and manipulate various types of control flow
graphs.
|
| Modifier and Type | Class and Description |
|---|---|
class |
ExtendedHashMutableDirectedGraph<N>
add skipNode method to direct all predecessor edges to successors.
|
| Modifier and Type | Class and Description |
|---|---|
class |
HashReversibleGraph<N>
A reversible version of HashMutableDirectedGraph
|
class |
MemoryEfficientGraph<N>
A memory efficient version of HashMutableDirectedGraph, in the sense that throw-away objects passed as arguments will not
be kept in the process of adding edges.
|
| Constructor and Description |
|---|
HashMutableDirectedGraph(HashMutableDirectedGraph<N> orig) |
Copyright © 2024 Soot OSS. All rights reserved.