soot.jimple.toolkits.annotation.logic
Classes
Loop
LoopFinder
LoopInvariantFinder