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:date:from:to:subject:message-id:reply-to
	:references:mime-version:content-type:in-reply-to; q=dns; s=
	default; b=mZAwWDOwAYhdI/3O2HPWRlmhXelzT4HRdZOuLX48dC2Jib8TlbE94
	1V+TZ4Q5S9sXebLWNDm1o7f5Fx6AVIClgBvXaRDhC5n6iXSGjcGjRf7tZE6gHaZ/
	KxeTiPL3XOVCs6b+xHHCh2I//kcv55ZL2rBBG2+eb7S+qAOneQXIgo=
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:date:from:to:subject:message-id:reply-to
	:references:mime-version:content-type:in-reply-to; s=default;
	bh=PpDPnf4nsea4KFOyBpZmJLEFA3g=; b=Hd2WxgZtqP5Cfze2FqmW4evQHv4t
	grJxZLmGPYiCbJaNSGGIik0Ju9JJSlZpAyGepT5/ia7CZGWcwAD/YcA8Knwrf72x
	LoKFvXgdIuM1mhD39Q28qsXF3L7PpugxXRm5AcsPnP2yIXoO1d9qi3s0LQ7Ahnn+
	HZUDr5L1cUuh6oM=
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=-0.7 required=5.0 tests=AWL,BAYES_00,RP_MATCHES_RCVD,SPF_PASS autolearn=ham version=3.3.2
X-HELO:	mailbackend.panix.com
Date:	Fri, 25 Apr 2014 15:09:44 -0400
From:	David Arnstein <arnstein AT pobox DOT com>
To:	cygwin AT cygwin DOT com
Subject:	Re: Coverity Scan
Message-ID:	<20140425190943.GA29615@panix.com>
Reply-To:	arnstein AT pobox DOT com
References:	<5359F391 DOT 8060309 AT tiscali DOT co DOT uk> <20140425083500 DOT GA5666 AT calimero DOT vinschen DOT de> <20140425155324 DOT GA2412 AT ednor DOT casa DOT cgf DOT cx>
MIME-Version:	1.0
In-Reply-To:	<20140425155324.GA2412@ednor.casa.cgf.cx>
User-Agent:	Mutt/1.5.23 (2014-03-12)
X-IsSubscribed:	yes

On Fri, Apr 25, 2014 at 11:53:24AM -0400, Christopher Faylor wrote:
> We use coverity at work.  It is annoying and it does have false positive
> but a lot of what look like false positives often turn out to be:  "Oh,
> wait.  (#*(&$  Yeah.  That's a problem."

I use Coverity as well, and I find it to be excellent. The latest version
finds copy and paste errors. In particular, it recently issued two
complaints about such errors. In both cases, Coverity was correct, a
developer really had done copy-and-paste twice, introducing an error
each time.

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