[Soot-list] How to create try - catch with soot?
Bodden, Eric
eric.bodden at sit.fraunhofer.de
Sun Feb 8 15:48:30 EST 2015
Hi Roman.
All you need to do is add a corresponding trap. That will give you a try/catch. For a "finally" semantics you will need to duplicate the code in the finally block.
Best have a look at how the Java source frontend does it.
Best wishes,
Eric
> On 08.02.2015, at 20:43, Roman Petriev <vvpiroman at gmail.com> wrote:
>
> Hello, everybody!
>
> How I can to create try-catch-finally block correctly with soot?
> Could someone represent example?
>
> Thanks for any help.
>
> Best regards,
> Roman.
> _______________________________________________
> Soot-list mailing list
> Soot-list at CS.McGill.CA
> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list
--
Prof. Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
Head of Secure Software Engineering at Fraunhofer SIT, TU Darmstadt and EC SPRIDE
Tel: +49 6151 16-75422 Fax: +49 6151 869-127
Room B5.11, Fraunhofer SIT, Rheinstraße 75, 64295 Darmstadt
-------------- 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 : https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20150208/36bfa3a8/attachment.bin
More information about the Soot-list
mailing list