From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.org!not-for-mail
From: Richard Stallman <rms@gnu.org>
Newsgroups: gmane.emacs.devel
Subject: Re: Splint
Date: Fri, 08 Jan 2010 08:17:07 -0500
Message-ID: <E1NTEiB-00080n-MZ@fencepost.gnu.org>
References: <27057818.post@talk.nabble.com>
	<5309A4F9-E516-49E5-83CA-80B9DA50D92B@raeburn.org>
Reply-To: rms@gnu.org
NNTP-Posting-Host: lo.gmane.org
Content-Type: text/plain; charset=ISO-8859-15
X-Trace: ger.gmane.org 1262956658 2992 80.91.229.12 (8 Jan 2010 13:17:38 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Fri, 8 Jan 2010 13:17:38 +0000 (UTC)
Cc: alinsoar@voila.fr, Emacs-devel@gnu.org
To: Ken Raeburn <raeburn@raeburn.org>
Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Fri Jan 08 14:17:30 2010
Return-path: <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>
Envelope-to: ged-emacs-devel@m.gmane.org
Original-Received: from lists.gnu.org ([199.232.76.165])
	by lo.gmane.org with esmtp (Exim 4.50)
	id 1NTEiX-00069C-Rn
	for ged-emacs-devel@m.gmane.org; Fri, 08 Jan 2010 14:17:30 +0100
Original-Received: from localhost ([127.0.0.1]:43759 helo=lists.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43)
	id 1NTEiX-0008De-KL
	for ged-emacs-devel@m.gmane.org; Fri, 08 Jan 2010 08:17:29 -0500
Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
	id 1NTEiI-00089n-Qh
	for emacs-devel@gnu.org; Fri, 08 Jan 2010 08:17:15 -0500
Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
	id 1NTEiE-00085f-SP
	for Emacs-devel@gnu.org; Fri, 08 Jan 2010 08:17:14 -0500
Original-Received: from [199.232.76.173] (port=40431 helo=monty-python.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1NTEiE-00085c-N7
	for Emacs-devel@gnu.org; Fri, 08 Jan 2010 08:17:10 -0500
Original-Received: from fencepost.gnu.org ([140.186.70.10]:58849)
	by monty-python.gnu.org with esmtp (Exim 4.60)
	(envelope-from <rms@gnu.org>) id 1NTEiC-0004wZ-Ja
	for Emacs-devel@gnu.org; Fri, 08 Jan 2010 08:17:08 -0500
Original-Received: from rms by fencepost.gnu.org with local (Exim 4.69)
	(envelope-from <rms@gnu.org>)
	id 1NTEiB-00080n-MZ; Fri, 08 Jan 2010 08:17:07 -0500
In-reply-to: <5309A4F9-E516-49E5-83CA-80B9DA50D92B@raeburn.org> (message from
	Ken Raeburn on Thu, 7 Jan 2010 08:50:52 -0500)
X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6 (newer, 3)
X-BeenThere: emacs-devel@gnu.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: "Emacs development discussions." <emacs-devel.gnu.org>
List-Unsubscribe: <http://lists.gnu.org/mailman/listinfo/emacs-devel>,
	<mailto:emacs-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/pipermail/emacs-devel>
List-Post: <mailto:emacs-devel@gnu.org>
List-Help: <mailto:emacs-devel-request@gnu.org?subject=help>
List-Subscribe: <http://lists.gnu.org/mailman/listinfo/emacs-devel>,
	<mailto:emacs-devel-request@gnu.org?subject=subscribe>
Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org
Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org
Xref: news.gmane.org gmane.emacs.devel:119684
Archived-At: <http://permalink.gmane.org/gmane.emacs.devel/119684>

    While Coverity's stuff is commercial,

Do you mean "proprietary"?  They are not the same.  There is nothing
wrong with a program's being commercial.  See
http://www.gnu.org/philosophy/words-to-avoid.html.

					  they've offered its use to some  
    open-source/free software projects.

See http://www.gnu.org//philosophy/mcvoy.html
for the story about another similar offer,
and the harm that was done when someone else accepted it.