[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

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


Xen-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.