[ldv-project] HELP: missing compiled *.o.c files by CIF for some kernel drivers.

[Tu Pipa]

Hi,

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.
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:
   " 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 "
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".
So, I don't know what's wrong about the missing *.o.c files.

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?

Eager for your help. Thank you

Best Regards,
MA Lele
Nov. 9th, 2013
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://linuxtesting.org/pipermail/ldv-project/attachments/20131109/b8dffe18/attachment.html>