<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>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>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>