[Soot-list] Error in Android validation/custom validation?

[Bodden, Eric]

> the ExceptionalUnitGraph assumes that the exception may occur at a statement s, so the successor of s’ predecessor p is not s, but the exception handler. This is a good idea in general, but for Dalvik it does not really capture the semantics of the VM. This issue is definitely nothing that can be fixed in a minute – otherwise I would have done it instead of opening a bug report ^^ I hope that I will find the time to have a deeper look into this at some point.

Hmmm... actually Soot is using a specialized ThrowsAnalysis to attempt to handle these differences. I agree that it's not trivial to fix this but it should be possible and we should not forget about it. But as I understand there's already an issue for it in the tracker?

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/20140217/bef83eb1/attachment.bin