Re: Verify classfile

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

On Sun, 18 May 2003, Amit Manjhi wrote:

> I was looking for some way in soot to verify a class file. More generally,
> what other aids are present in soot that can be used to ensure that a
> particular transformation is valid (at least syntactically), other than
> running a large number of benchmarks through it :)? Please help.

Hi Amit,

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.

pat