[Soot-list] unreachable code in jimple files?

[Bodden, Eric]

Hi Martin.

> The problem is already in the bytecode. The exception table says something like
>             21   135   170   Class java/lang/Throwable
>             21   135   179   any
> Is there a good reason why the second line is not useless?

To me this seems like a compiler inaccuracy. Technically it's not really a bug because at runtime it doe the right thing, although the second trap is, in fact, useless. At analysis time, however, it causes the problems you mention.

I am not sure why they compile the code by this. It might be worthwhile raising a bug against the JDK.

Cheers,
Eric
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 841 bytes
Desc: Message signed with OpenPGP using GPGMail
Url : http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20140902/b55ff184/attachment.bin