Hi!
Hope I'm right here (or someone can point me in the right direction).
I've been trying to integrate the software analysis tool developed [0]
here in Erlangen and your herodotos to get some information about
development of the found errors over time -- I'm currently running the
lot on a linux kernel as well as the drivers subtree.
While the whole-kernel thing already works fine, I'm having
trouble passing the "false positives check". As soon as I mark any of
the findings as 'BUG' make web fails with some error message [1]. As
all the files in ./results apart from the correl.org have been
regenerated from scratch and the path in both the *.exist as well as
the *.new.org seem to match the right existing file (and are the same
(with the relevant modification) to the working example on the
whole-kernel side.
Are there some more cache files directly in the source tree I
don't find? Or do you have some hint for debugging my Problem? I'll
attach some (hopefully the relevant) files (fragments).
Regards
Christoph Egger
[0] http://www4.cs.fau.de/Research/VAMOS/
[1] *** ERROR *** Processing Drivers:
./results/drivers/Drivers_CodeUndead.new.org
Unable to compute file existence information for
staging/bcm/Misc.c.
Is the source code accessible or your cache files uptodate?
file;v2.6.30;v2.6.30-rc1;v2.6.30-rc5;v2.6.31;v2.6.31-rc1;v2.6.31-rc5;v2.6.32;v2.6.32-rc1;v2.6.32-rc5;v2.6.33;v2.6.33-rc1;v2.6.33-rc5;v2.6.34;v2.6.34-rc1;v2.6.34-rc5;v2.6.35;v2.6.35-rc1;v2.6.36-rc1;v2.6.36-rc5;v2.6.35-rc5;v2.6.36;v2.6.37-rc1;
drivers/staging/bcm/Misc.c;false;false;false;false;false;false;false;false;false;false;false;false;false;false;false;false;false;false;false;false;false;79710
* BUG
[[view:./kernel/v2.6.37-rc1/drivers/staging/bcm/Misc.c::face=ovl-face1::linb=1009::colb=0::cole=2][globally
undead]]
**
[[view:./kernel/v2.6.37-rc1/drivers/staging/bcm/Misc.c::face=ovl-face1::linb=1009::colb=0::cole=2][globally
undead ./kernel/v2.6.37-rc1/drivers/staging/bcm/Misc.c::1009]]
file;v2.6.30;v2.6.30-rc1;v2.6.30-rc5;v2.6.31;v2.6.31-rc1;v2.6.31-rc5;v2.6.32;v2.6.32-rc1;v2.6.32-rc5;v2.6.33;v2.6.33-rc1;v2.6.33-rc5;v2.6.34;v2.6.34-rc1;v2.6.34-rc5;v2.6.35;v2.6.35-rc1;v2.6.35-rc5;v2.6.36-rc1;v2.6.36-rc5;v2.6.36;v2.6.37-rc1;
staging/bcm/Misc.c;false;false;false;false;false;false;false;false;false;false;false;false;false;false;false;false;false;false;false;false;false;false
* BUG
[[view:./drivers/v2.6.37-rc1/staging/bcm/Misc.c::face=ovl-face1::linb=1009::colb=0::cole=2][globally
undead]]
**
[[view:./drivers/v2.6.37-rc1/staging/bcm/Misc.c::face=ovl-face1::linb=1009::colb=0::cole=2][globally
undead ./drivers/v2.6.37-rc1/staging/bcm/Misc.c::1009]]
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
