[Soot-list] unrolling loops

[Patrick LAM]

On Wed, 19 Oct 2005, Greg Dennis wrote:

> thanks, Pat.
>
> I've considered looking at the Dava code for detecting loops, but I
> want to be able to handle arbitrary backedges in control flow beyond
> just a standard for or while loops, like continues, breaks, and gotos.
> So I was hoping to develop a general algorithm on a CFG, but I'll give
> the Dava code a look and see if I get any insights.

The Dava code will properly convert arbitrary control flow into a proper
CFG, restructuring the program as needed.  That's one way to do what you
want, anyhow.

pat