[Soot-list] Exception Table

[Chris Pickett]

Eric Bodden wrote:
> 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.)

I was going to ask, and then didn't, but am now reconsidering:

1) What is the Java source?

2) Does the javac bytecode verify?

3) Does the Baf-derived bytecode verify?

Chris