[Soot-list] unreachable code in jimple files?

[Bodden, Eric]

Hi Martin.

> No, but it's the other way around. Of course, everything can throw a throwable, but finally blocks apparently catch arbitrary objects ... a friend pointed me to this article: http://stackoverflow.com/questions/5749898/what-can-you-throw-in-java
> So apparently, the bytecode makes a difference between throwable and any.

Well, this post talks about turning off the bytecode verifier. If you do that then you are effectively not dealing with Java any more. You could be doing pretty much anything. In Java you can only throw Throwables.

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/20140907/8f825cdf/attachment.bin