<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
Hi MA,<br>
<br>
first of all I am interested in whether you are using LDV Analytics
Center (former stats-visualizer)? It can considerably help you in
understanding both verification results and problems in LDV
components.<br>
<br>
On 11/09/2013 05:52 AM, Tu Pipa wrote:
<blockquote
cite="mid:CAJCba=vEsFVyX0t6Goxxxc_ECkNnumB6bJRJj1=aq55EJ6gxxg@mail.gmail.com"
type="cite">
<div dir="ltr">Hi,
<div><br>
</div>
<div>When running LDV , I can get the intermediate files
generated by CIF( e.g. *.aspect.i, *.c.instrumented, and
*.o.c). And we find it useful that the output *.o.c files can
be slightly modified and then exploited by our tools to verify
the kernel drivers.</div>
<div>However, some drivers cannot generate the *.o.c files in
their corresponding temp directorys. For example, when verify
the driver "drivers/mtd/lpddr" using the command:</div>
<div>
<div> " LDV_DEBUG=100 LDV_VIEW=Y time ldv-manager
envs=linux-2.6.32.60.tar.bz2 drivers=drivers/mtd/lpddr
rule_models=32_7a kernel_driver=1 "</div>
<div>I cannot get the *.o.c files while the other file
(*.aspect.i and so on) do exists in the dir
"current--x--drivers/mtd/lpddr--x--defaultlinux-2.6.32.60--x--32_7a
/ linux-2.6.32.60 / csd_deg_dscv
/12/dscv_tempdir/dscv/ri/32_7a/drivers/mtd/lpddr".</div>
</div>
<div>So, I don't know what's wrong about the missing *.o.c
files.</div>
<div><br>
</div>
</div>
</blockquote>
Either in LDV Analytics Center or in log of LDV Tools you can find
that Rule Instrumentor said:<br>
...<br>
error: incompatible types when assigning to type 'struct mtd_info'
from type 'struct mtd_info *'<br>
...<br>
LDV Analytics Center even will classify the problem as "DEG: return
type" linking to <a class="moz-txt-link-freetext" href="http://forge.ispras.ru/issues/553">http://forge.ispras.ru/issues/553</a>. There you can
find a problem description.
<blockquote
cite="mid:CAJCba=vEsFVyX0t6Goxxxc_ECkNnumB6bJRJj1=aq55EJ6gxxg@mail.gmail.com"
type="cite">
<div dir="ltr">
<div>Further more, for some drivers there can be many temp dirs
named by numbers in dir "/linux-2.6.32.60 / csd_deg_dscv",
like "linux-2.6.32.60 / csd_deg_dscv /12/", and "/13/",
"/11/"... so what do these number mean? These number has
confused me for a long time. Is it related to the problems I
have just described above? </div>
<div><br>
</div>
</div>
</blockquote>
We also don't like these numbers. And this became one of many
reasons to completely redesign LDV Tools. I hope that it will allow
us to fix both problems you pointed this year. You will see
corresponding notification in this list.<br>
<blockquote
cite="mid:CAJCba=vEsFVyX0t6Goxxxc_ECkNnumB6bJRJj1=aq55EJ6gxxg@mail.gmail.com"
type="cite">
<div dir="ltr">
<div>Eager for your help. Thank you</div>
<div>
<div>
<div>
<div><br>
</div>
<div>Best Regards,</div>
<div>
<div>MA Lele</div>
</div>
<div>Nov. 9th, 2013</div>
</div>
</div>
</div>
</div>
<pre wrap="">
<fieldset class="mimeAttachmentHeader"></fieldset>
_______________________________________________
ldv-project mailing list
<a class="moz-txt-link-abbreviated" href="mailto:ldv-project@linuxtesting.org">ldv-project@linuxtesting.org</a>
<a class="moz-txt-link-freetext" href="http://linuxtesting.org/cgi-bin/mailman/listinfo/ldv-project">http://linuxtesting.org/cgi-bin/mailman/listinfo/ldv-project</a>
</pre>
</blockquote>
<br>
<br>
<pre class="moz-signature" cols="72">--
Best regards, Evgeny Novikov.
Linux Verification Center, ISPRAS
web: <a class="moz-txt-link-freetext" href="http://linuxtesting.org">http://linuxtesting.org</a>
e-mail: <a class="moz-txt-link-abbreviated" href="mailto:novikov@ispras.ru">novikov@ispras.ru</a></pre>
</body>
</html>