[Soot-list] Issue with trap generation in Jimple

[Khilan Gudka]

Ah of course! sorry for not spotting that; then what you suggest seems
plausible :)

--
Khilan Gudka
PhD Student
Department of Computing
Imperial College London
http://www.doc.ic.ac.uk/~khilan/



On 13 June 2012 17:11, Eric Bodden <eric.bodden at ec-spride.de> wrote:

> Hello.
>
> >
> > A couple of questions to see if I understand things correctly...
> >
> > 1) Can the return statement throw an exception? If it can then will u
> still
> > need to insert an exceptional edge from the assignment to the handler?
>
> It does not matter whether it can, because it's outside the trap. The
> trap ends at label5.
>
> > 2) What happens if an un-related field store is inserted between the
> > assignment and the return, like $r1.f = $r2. I.e so you have...
> >
> > $u0 = 1
> > $r1.f = $r2
> > return $u;
>
> Same as before. It will be outside the trap.
>
> The issue is really the execution of "$u0 = 1". It will have *no*
> effect if it throws an exception, and hence the CFG edge should go
> from *before* the statement to the handler, I believe.
>
> Eric
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120613/8773cfbf/attachment.html