From mboxrd@z Thu Jan 1 00:00:00 1970 From: Konrad Rzeszutek Wilk Subject: Re: Static analysis: Code weaknesses Date: Fri, 16 Mar 2012 11:51:32 -0400 Message-ID: <20120316155132.GB31099@phenom.dumpdata.com> References: <20120313164708.GE19228@phenom.dumpdata.com> <1331658232.8995.14.camel@Solace> <20120314185823.GC5341@phenom.dumpdata.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: Content-Disposition: inline In-Reply-To: List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: Jeffrey Karrels Cc: xen-devel@lists.xensource.com, lars.kurth@xen.org List-Id: xen-devel@lists.xenproject.org On Fri, Mar 16, 2012 at 08:44:16AM -0700, Jeffrey Karrels wrote: > > 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 > > To keep track of this topic, the coverity scanner project will not > accept the GPLv2 license for acceptance to the project because of > Xen's association with Citrix. I will continue to work on our > licensed analyzers and post patches back into the community, it is > just a little harder to collaborate... > > "As you may well have read in our Developer FAQ, license is only one of the > criteria that determines eligibility, and the association between Xen and > Citrix is close enough that I think Xen doesn't qualify." Huh? That really does not compute - as there are developers who are not Citrix employeed - and the sources/trees, etc are all on xenbits.org which is a non-prof organization I think? CC-ing Lars here as he might know better. > > _______________________________________________ > Xen-devel mailing list > Xen-devel@lists.xen.org > http://lists.xen.org/xen-devel