| Package | Description |
|---|---|
| soot.jimple.toolkits.annotation.logic | |
| soot.toolkits.graph |
Toolkit to produce and manipulate various types of control flow
graphs.
|
| Modifier and Type | Method and Description |
|---|---|
Set<Loop> |
LoopFinder.getLoops(Body b) |
Set<Loop> |
LoopFinder.getLoops(UnitGraph g) |
| Constructor and Description |
|---|
LoopNestTree(Collection<Loop> loops)
Builds a loop nest tree from a mapping from loop headers to statements in the loop.
|
Copyright © 2020 Soot OSS. All rights reserved.