[Soot-list] try catch transformation question

[Heejong Lee]

Okay, I've just disabled jb.uce and the problem is resolved.

- Heejong

On Thu, Jun 16, 2011 at 1:45 AM, Patrick Lam <plam at cs.mcgill.ca> wrote:
> On 15/06/11 10:46 AM, Heejong Lee wrote:
>> Hi, Eric.
>> Sorry but I didn't catch your word exactly.
>> IMHO, this looks irrelevant with insufficient type information.
>> Exception trap table is already in compiled byte code, therefore Soot
>> is just needed to transform it to Jimple IL. The unsound optimization
>> like Soot did in this case should never happen cause it breaks program
>> integrity, should it? If Soot cannot figure out which exceptions
>> exactly are caught where, the two catch statement must remain.
>>
>> Please let me know where my misunderstanding comes from.
>> Thanks always.
>
> We don't guarantee soundness when you use -allow-phantom-refs.
>
> pat
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>



-- 
Heejong Lee

Associate Research Engineer
Program Analysis Division
Fasoo.com, Inc. (www.spa-arrow.com)