From mboxrd@z Thu Jan  1 00:00:00 1970
From: Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>
Subject: Re: Static analysis: Code weaknesses
Date: Wed, 14 Mar 2012 14:58:23 -0400
Message-ID: <20120314185823.GC5341@phenom.dumpdata.com>
References: <CAFw--Df+3UxXWqq63eo0f-98EeaisipX+eRr91qXouDkSfphSg@mail.gmail.com>
	<20120313164708.GE19228@phenom.dumpdata.com>
	<1331658232.8995.14.camel@Solace>
	<CAFw--DdRYLyEqyKm0h+mrasW_F=Akh_DuHbNHsiBJMrJAbLaLg@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Return-path: <xen-devel-bounces@lists.xen.org>
Content-Disposition: inline
In-Reply-To: <CAFw--DdRYLyEqyKm0h+mrasW_F=Akh_DuHbNHsiBJMrJAbLaLg@mail.gmail.com>
List-Unsubscribe: <http://lists.xen.org/cgi-bin/mailman/options/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xen.org>
List-Help: <mailto:xen-devel-request@lists.xen.org?subject=help>
List-Subscribe: <http://lists.xen.org/cgi-bin/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=subscribe>
Sender: xen-devel-bounces@lists.xen.org
Errors-To: xen-devel-bounces@lists.xen.org
To: Jeffrey Karrels <karrelsj@gmail.com>
Cc: xen-devel@lists.xensource.com, Dario Faggioli <raistlin@linux.it>
List-Id: xen-devel@lists.xenproject.org

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@lists.xen.org
> http://lists.xen.org/xen-devel