HI I found that soot has a class which can be used to detect loop, Does anyone know how to use soot to unroll loops(while, dowhile, for)? Or are there any implementations which are based on soot can do the loop unrolling? Cheers P