[prev in list] [next in list] [prev in thread] [next in thread] 

List:       soot-list
Subject:    Re: [Soot-list] -validate option
From:       Sergio Ferrero <sferrero () ensoftcorp ! com>
Date:       2013-06-28 16:53:58
Message-ID: CALpL35m06gjewCh2YvP-zM2HAwzTmAj23opV7N5+Sg5d_FERFQ () mail ! gmail ! com
[Download RAW message or body]

[Attachment #2 (multipart/alternative)]


Thanks Eric!
I found the comments in the code after I placed the question.

Thanks again
Sergio


On Fri, Jun 28, 2013 at 1:41 PM, Bodden, Eric <eric.bodden@sit.fraunhofer.de
> wrote:

> 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

[Attachment #5 (text/html)]

<div dir="ltr">Thanks Eric!<div style>I found the comments in the code after I placed \
the question.</div><div style><br></div><div style>Thanks again</div><div \
style>Sergio</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">

On Fri, Jun 28, 2013 at 1:41 PM, Bodden, Eric <span dir="ltr">&lt;<a \
href="mailto:eric.bodden@sit.fraunhofer.de" \
target="_blank">eric.bodden@sit.fraunhofer.de</a>&gt;</span> wrote:<br><blockquote \
class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc \
solid;padding-left:1ex">

Hi,<br>
<div class="im"><br>
&gt; I&#39;d like to know details about those internal checks, if possible, what all \
the internal checks performed are.<br> <br>
</div>This is only documented in the code, I am afraid.<br>
<div class="im"><br>
&gt; For example, does it check that .jimple files were properly generated, one check \
I&#39;d expect is to verify that all variables in a method have a declaration.<br> \
<br> </div>I know that this check is indeed included.<br>
<span class="HOEnZb"><font color="#888888"><br>
Eric</font></span></blockquote></div><br></div>



_______________________________________________
Soot-list mailing list
Soot-list@sable.mcgill.ca
http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list


[prev in list] [next in list] [prev in thread] [next in thread]