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