X-Recipient:	archive-cygwin AT delorie DOT com
DomainKey-Signature:	a=rsa-sha1; c=nofws; d=sourceware.org; h=list-id
	:list-unsubscribe:list-subscribe:list-archive:list-post
	:list-help:sender:message-id:date:from:mime-version:to:subject
	:content-type:content-transfer-encoding; q=dns; s=default; b=Gug
	1b5oHAb5JT2/5nDekrhzjSTaBkOWblKIN3iNHb9WlNQS9ajO1yp7CwkKHPRCT+kS
	2mEQW41H5d+R/lgATJfR5VbLQRV9PuJp/P2RTl7FSymzPQ48U8aRcThivr4jAUM7
	DsLgx5iYuuKsNrPNDDWoDq0Z284w1J1cQhZ4c4Js=
DKIM-Signature:	v=1; a=rsa-sha1; c=relaxed; d=sourceware.org; h=list-id
	:list-unsubscribe:list-subscribe:list-archive:list-post
	:list-help:sender:message-id:date:from:mime-version:to:subject
	:content-type:content-transfer-encoding; s=default; bh=woHSh/QvJ
	fVjbv/+eBCso9z5F5M=; b=GRKFzvuht6K/ZYbIu7cWR7UveUm8rgMZmmlFbGWqs
	tuZPuO2u6/KZq/p49eNObeoISmF8tk22CEpTbWU/1YXZtv7ij6yCrRlyE7xfDhnZ
	n6IynF8hE5Keyxp7RLUyjvxUEa1BBR/1cFvACD0sfasvVsMVWVrrllk4WJgmH4Vr
	/k=
Mailing-List:	contact cygwin-help AT cygwin DOT com; run by ezmlm
List-Id:	<cygwin.cygwin.com>
List-Subscribe:	<mailto:cygwin-subscribe AT cygwin DOT com>
List-Archive:	<http://sourceware.org/ml/cygwin/>
List-Post:	<mailto:cygwin AT cygwin DOT com>
List-Help:	<mailto:cygwin-help AT cygwin DOT com>, <http://sourceware.org/ml/#faqs>
Sender:	cygwin-owner AT cygwin DOT com
Mail-Followup-To:	cygwin AT cygwin DOT com
Delivered-To:	mailing list cygwin AT cygwin DOT com
Authentication-Results:	sourceware.org; auth=none
X-Virus-Found:	No
X-Spam-SWARE-Status:	No, score=1.5 required=5.0 tests=AWL,BAYES_50,FREEMAIL_FROM,KAM_COUK,SPF_PASS autolearn=no version=3.3.2
X-HELO:	out.ipsmtp1nec.opaltelecom.net
X-SMTPAUTH:	drstacey AT tiscali DOT co DOT uk
X-IronPort-Anti-Spam-Filtered:	true
X-IronPort-Anti-Spam-Result:	ApMBAGjyWVNV0kdf/2dsb2JhbAANTINVxiaDWDoGPRYYAwIBAgFYCAEBiEqmOqRSBI52hCMErwQ
X-IPAS-Result:	ApMBAGjyWVNV0kdf/2dsb2JhbAANTINVxiaDWDoGPRYYAwIBAgFYCAEBiEqmOqRSBI52hCMErwQ
Message-ID:	<5359F391.8060309@tiscali.co.uk>
Date:	Fri, 25 Apr 2014 06:33:05 +0100
From:	David Stacey <drstacey AT tiscali DOT co DOT uk>
User-Agent:	Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.4.0
MIME-Version:	1.0
To:	cygwin AT cygwin DOT com
Subject:	Coverity Scan
X-IsSubscribed:	yes

Coverity Scan [1] is a commercial (paid for) static analysis tool, but
they offer it to Open Source programmes for free. I was having a browse
through the list of Open Source programmes using Coverity Scan, and
noticed that Cygwin wasn't listed. Would there be any interest in
analysing the cygwin1.dll source code on a fairly regular basis? If so,
I would be happy to have a go at setting up an analysis job for Cygwin.

I would imagine this would be of interest to CGF, Corinna and anyone
else who regularly updates the Cygwin source code. Obviously, this is
only worth doing if the analysis results are looked at and acted upon.

There are some conditions associated with using Coverity Scan [2]. The
one thing that jumps out is that our relationship with RedHat might be
a stumbling block. We can but ask - the worst that can happen is that
they politely decline.

There have been a few hints on this list about a possible move from CVS
to git. If such a move were on the cards then that should probably
happen first - I wouldn't want the nugatory effort of getting this
working from CVS only to have to change it almost immediately.

Any thoughts?

Dave.

[1] - https://scan.coverity.com/
[2] - https://scan.coverity.com/faq#how-get-project-included-in-scan


--
Problem reports:       http://cygwin.com/problems.html
FAQ:                   http://cygwin.com/faq/
Documentation:         http://cygwin.com/docs.html
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple

- Raw text -