[Soot-list] Exception Table

[Eric Bodden]

Hi Silviu.

> In this case, instructions 22 and 23, corresponding to an exception handler,
> are caught by themselves. So, any exception thrown in this exception handler
> can't escape it. It is the same for the second exception handler.

Oh, that's quite something. I did not even know that this was legal
bytecode. Do Java compilers produce this kind of code? I cannot think
of any source code that would allow for this kind of structure to be
generated. (Nevertheless, Soot should handle this correctly.)

> Any ideas how to solve this?

Not concretely, but on a high level it seems like somebody ought to
fix the part of Soot that generates Baf from bytecode ;-) Question is
who is still familiar with that part of Soot; I am not at all.

Eric

-- 
Eric Bodden
Sable Research Group
McGill University, Montréal, Canada