[Soot-list] try catch transformation question

[Patrick Lam]

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