[Soot-list] -validate option

[Bodden, Eric]

Hi,

> I'd like to know details about those internal checks, if possible, what all the internal checks performed are.

This is only documented in the code, I am afraid.

> For example, does it check that .jimple files were properly generated, one check I'd expect is to verify that all variables in a method have a declaration.

I know that this check is indeed included.

Eric