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. - James