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

[Konrad Rzeszutek Wilk <konrad.wilk@xxxxxxxxxx>]

On Wed, Mar 14, 2012 at 11:01:08AM -0700, Jeffrey Karrels wrote:
> >> 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

I am not sure what is involved in it? Is it free? If you are up for
doing it you are more than welcome to do it.

> 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

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