[Soot-list] Bug in exception handling?
Steven Arzt
Steven.Arzt at cased.de
Tue Mar 11 15:19:38 EDT 2014
If it's really that old issue (and it certainly looks like it is), this is
not a bug, but rather a usage pitfall. Try putting the Android JAR file on
the classpath and try again. The explanation is in the bug tracker.
-----Ursprüngliche Nachricht-----
Von: soot-list-bounces at sable.mcgill.ca
[mailto:soot-list-bounces at sable.mcgill.ca] Im Auftrag von Marc-André
Laverdière
Gesendet: Dienstag, 11. März 2014 19:00
An: Soot list
Betreff: Re: [Soot-list] Bug in exception handling?
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
You have a good memory. This was reported (but for Android) already
https://github.com/Sable/soot/issues/167
Marc-André Laverdière-Papineau
Doctorant - PhD Candidate
On 03/11/2014 08:01 AM, Bodden, Eric wrote:
> Hi Marc-Andre.
>
> Yes I think we have seen this before. It is indeed caused by the new
> syntax. Can you please check whether this is already in the bug
> tracker and add it otherwise?
>
> Cheers, Eric
>
> On 10.03.2014, at 18:14, Marc-André Laverdière
> <marc-andre.laverdiere-papineau at polymtl.ca> wrote:
>
>> Hello Sooters,
>>
>> I got a weird exception loading the bytecode from a method body (it
>> is precompiled and from a FLOSS project I am not too familiar
>> with)
>>
>> java.lang.RuntimeException: Exception reference used other than as
>> the first statement of an exception handler. at
>> soot.jimple.toolkits.typing.fast.AugEvalFunction.eval_(AugEvalFunctio
>> n.java:160)
>>
>>
at ...
>> soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:117)
>> at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:87)
>>
>> The corresponding code snippet: String newId = null; try { String
>> latestId = new DocumentRevisionDAO(new Locale(user.getLanguage()),
>> em).findLatestDocMId(pWorkspaceId,
>> template.getDocumentType()); String inputMask = template.getMask();
>> String convertedMask = Tools.convertMask(inputMask); newId =
>> Tools.increaseId(latestId, convertedMask); } catch (ParseException |
>> NoResultException ex) { //may happen when a different mask has been
>> used for the same document type //or //may happen when no document of
>> the specified type has been created }
>>
>> This form is new in Java 7.
>> http://docs.oracle.com/javase/7/docs/technotes/guides/language/catch-
>> multiple.html
>>
>>
>>
This looks like a bug to me, but I'm not familiar with that piece of
>> code. Would anybody confirm?
>>
>> Regards,
>>
>> -- Marc-André Laverdière-Papineau Doctorant - PhD Candidate
>> _______________________________________________ Soot-list mailing
>> list Soot-list at sable.mcgill.ca
>> http://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 16-72051 Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt
>
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/
iQEcBAEBAgAGBQJTH08qAAoJEGELVLHCizSfFXcH/15PiJsZtiOxYuNCrCWcRZPX
/1s/FLJ6sn37NMcT8Zy8akfh5nMPX7mnZcmueZF4JczzVTvtNWTM5GEzZuBtgGHr
JgYLbJZfPZV6bSWe37sMuniNjhrogOsv7LzSElL+5ZIr6eUp2PeQmNOKn88JUXin
RSFRMQT3qX2AFrmxtprNISPQdhh0AiEmGPc8T03IqV3q7e/KAIcnM/zSioLGpU0o
UVs0W9BMP4YM21T/FX2Duta1Q88S7r9pliqlQ64/TMy1HTBxg9BdQwHla0IpkqXD
6s76/kqCWnVIFFPNxrrIFedyEcc9oRVmb8pxMj59Le9EAFVUyiFoIuVTXw8zBiE=
=DiQt
-----END PGP SIGNATURE-----
_______________________________________________
Soot-list mailing list
Soot-list at sable.mcgill.ca
http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
More information about the Soot-list
mailing list