Re: [Xen-devel] Static analysis: Code weaknesses

[Jeffrey Karrels <karrelsj@xxxxxxxxx>]

>> Have you looked at smatch and sparse?
>>
> And, perhaps, to Coccinelle (http://coccinelle.lip6.fr/)... I've heard
> it does great things (together with Smatch) in Linux. :-)

Thanks, I will take a look.

Another question. There was mention of submitting Xen to Coverity a
while back (Pratt 2006). Is there any reason not to submit the source
into that as a project? I would be willing to be the point of contact,
but am I stepping on anyone's toes if I submit it for scanning?

Thanks
Jeff

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel