Likely also a bug in FutureSoot

[linghuiluo]

For some Lombok-generated build methods, the old soot doesn't not terminate in soot.asm.AsmMethodSource#convert @kadirayk I'm afraid this is a deep bug in the bytecode front end. It would be great we can test this and add a test case here. Can you assign a student to do this?

The Java code and the bytecode is in the out folder inside this zip. CossiInput.zip

[kadirayk]

Sure, we'll test it. Thanks.

[linghuiluo]

I am pretty sure this is a bug in the bytecode front end, since the AsmMethodSource is simply copied from the old soot. It is probably not an issue in the source code front end, because WALA handles this properly.

[bastihav]

This is indeed a bug, it results in a stack underrun in AsmMethodSource.convertMethodInsn()