[Soot-list] Bug in exception handling?

[Marc-André Laverdière]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi Steven,

Maybe I didn't read the issue right. It looks like the same problem,
but I'm not working on Android.

The last time I pulled Soot's dev branch was on Feb 27th, and the
commits since then don't look like they'd address that :(

Marc-André Laverdière-Papineau
Doctorant - PhD Candidate

On 03/11/2014 03:19 PM, Steven Arzt wrote:
> 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?
> 
> 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
> 
> _______________________________________________ Soot-list mailing
> list Soot-list at sable.mcgill.ca 
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
> 
> 
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/

iQEcBAEBAgAGBQJTIGRcAAoJEGELVLHCizSfUTQH/0UROFV2lNP+kARPhuEz/8gx
DgFu9lQ9VnhoXjCDCM+8rZaXpWtKA9kIGna2COwJoU4c8HGnS7CdONmM4ryj4/Jb
4OQ3w2tS5p46oHSBcDRbgI0T+GIHWjEyz6o2h8BkjKwm0zuLMwvR7YbpcxmBAPkL
zb0BcVOX0V6siUulhk5cC0ScFuQNdtSMgQ4A5z0tfmYn3+NtX8a5ldxcu/SP0ukH
5WOHUarxtdUFro4B8w43HZbbChLbfRD4cYmVy3TSS1U57zn/koirBcLRQWOZkBgA
sgPOV6MEG0e1rXcaex5KfKoAu2NSwnIQgCGz8lkxdLvjyaYw9LnZr3eaz+n8Ijo=
=NccP
-----END PGP SIGNATURE-----