Identifying loop body

[Oksana I Tkachuk <oksana@cis.ksu.edu>]

Hello,

I am working on an analysis where I need to identify loops and then
traverse them again to identify whether they contain a path with certain
properties. I can identify the first statement of a loop using a dfs-like
procedure on a method control flow graph. The problem is to identify the
loop body. When processing loops, I want to make sure I don't jump outside
the loop body.

I understand that there are three types of Java statements that generate
loops on Jimple level: while, do-while, and for-loop. Are there more?
You also have Dava decompiler that can identify loops and convert them
back to Java structures.

I think, soot should have enough info for me to identify the loop body but
I am not sure which way is the best.

Hope you can help,
Oksana.