Re: Verify classfile

[Patrick LAM <plam@sable.mcgill.ca>]

On Mon, 19 May 2003, James Jones wrote:

> Patrick LAM wrote:
> > Soot doesn't really provide any tools to check that the output of your
> > transformation's going to have any desirable properties.  At least,
> > being 3-address code, you can't generate stack height imbalances and
> > non-verifying bytecode, if that's any consolation at all.
>
> Not sure this is true - I've generated non-verifying bytecode using SOOT.

Yes, that's right.  I meant to say that there are certain classes of
verification errors that you can't create from Jimple, but that's not what
I said.  Sorry.

pat