[Top] [All Lists]

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

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

To: Konrad Rzeszutek Wilk <konrad.wilk@xxxxxxxxxx>
From: Jeffrey Karrels <karrelsj@xxxxxxxxx>
Date: Wed, 14 Mar 2012 12:14:19 -0700
Cc: xen-devel@xxxxxxxxxxxxxxxxxxx
Delivery-date: Wed, 14 Mar 2012 19:14:57 +0000
List-id: Xen developer discussion <xen-devel.lists.xen.org>

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

I will check it out. It is free, but I am not sure how much
functionality one gets. We will see.
http://scan.coverity.com/developers-faq.html

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

Follow-Ups:
- Re: [Xen-devel] Static analysis: Code weaknesses
  - From: Jeffrey Karrels

References:
- [Xen-devel] Static analysis: Code weaknesses
  - From: Jeffrey Karrels
- Re: [Xen-devel] Static analysis: Code weaknesses
  - From: Konrad Rzeszutek Wilk
- Re: [Xen-devel] Static analysis: Code weaknesses
  - From: Dario Faggioli
- Re: [Xen-devel] Static analysis: Code weaknesses
  - From: Jeffrey Karrels
- Re: [Xen-devel] Static analysis: Code weaknesses
  - From: Konrad Rzeszutek Wilk

Prev by Date: Re: [Xen-devel] [PATCH 2 of 3] x86/mm: Teach paging to page table-based p2m
Next by Date: Re: [Xen-devel] [PATCH] tools/configure: correct enable/disable-feature option
Previous by thread: Re: [Xen-devel] Static analysis: Code weaknesses
Next by thread: Re: [Xen-devel] Static analysis: Code weaknesses
Index(es):
- Date
- Thread

Rackspace

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