[Soot-list] Return Stmt

[Richard L. Halpert]

Soot has a whole slew of basic-block graph classes in addition to the unit
graphs that we are all familiar with.  Look in soot/toolkits/graph.  Every
return statement *should* be the last statement in some block, though after
looking at the BlockGraph code, I suspect that a block graph constructed
from incorrect bytecode could break this rule.  If your bytecode is correct,
then it should hold.

Note that most flow analyses in Soot expect to be given unit graphs.

-Rich

On 5/11/07, Chris Pickett <chris.pickett at mail.mcgill.ca> wrote:
>
> Eric Bodden wrote:
> > Oh, sorry I got that wrong. No a basic block actually ends by
> > definition after each jump, return or before each statement that is
> > jumped to. So I guess that should always holds.
>
> Oh yeah... oops :)
>
> Chris
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20070511/b41fd344/attachment.htm