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

Thanks
Jeff

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


 


Rackspace

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