[Soot-list] Bug in exception handling?

[Marc-André Laverdière]

-----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_(AugEvalFunction.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-----