Package | Description |
---|---|
soot |
Base Soot classes, shared by different intermediate representations.
|
soot.jimple.toolkits.annotation.logic | |
soot.toolkits.graph |
Toolkit to produce and manipulate various types of control flow
graphs.
|
Class and Description |
---|
LoopInvariantFinder |
Class and Description |
---|
Loop
A (natural) loop in Jimple.
|
LoopInvariantFinder |
Class and Description |
---|
Loop
A (natural) loop in Jimple.
|