[Soot-list] -validate option

[Sergio Ferrero]

Hello,

I'm using Soot in 2 ways
 1) Generating .jimple files from an .apk
 2) Generating .jimple files from a sect of .class files

The help says that the "-validate" option causes some internal checks to be
done on bodies in the various Soot IRs.
I'd like to know details about those internal checks, if possible, what all
the internal checks performed are.
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.

Thanks in advance.
Sergio
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130530/5056b7e7/attachment.html