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