From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Dan Nicolaescu Newsgroups: gmane.emacs.devel Subject: Re: Splint Date: Thu, 7 Jan 2010 07:03:39 -0800 (PST) Message-ID: <201001071503.o07F3dK8016638@godzilla.ics.uci.edu> References: <27057818.post@talk.nabble.com> <5309A4F9-E516-49E5-83CA-80B9DA50D92B@raeburn.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1262876738 23911 80.91.229.12 (7 Jan 2010 15:05:38 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 7 Jan 2010 15:05:38 +0000 (UTC) Cc: "alin.s" , Emacs-devel@gnu.org To: Ken Raeburn Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Thu Jan 07 16:05:30 2010 Return-path: 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 1NStvV-00052P-CI for ged-emacs-devel@m.gmane.org; Thu, 07 Jan 2010 16:05:29 +0100 Original-Received: from localhost ([127.0.0.1]:41070 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1NStvW-0004Mh-13 for ged-emacs-devel@m.gmane.org; Thu, 07 Jan 2010 10:05:30 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1NStvQ-0004MR-QS for emacs-devel@gnu.org; Thu, 07 Jan 2010 10:05:24 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1NStvL-0004Lm-0L for Emacs-devel@gnu.org; Thu, 07 Jan 2010 10:05:23 -0500 Original-Received: from [199.232.76.173] (port=40161 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1NStvK-0004Li-T3 for Emacs-devel@gnu.org; Thu, 07 Jan 2010 10:05:18 -0500 Original-Received: from paul-mcgann-v0.ics.uci.edu ([128.195.1.147]:34353) by monty-python.gnu.org with esmtps (TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.60) (envelope-from ) id 1NStvK-0007Ek-B9 for Emacs-devel@gnu.org; Thu, 07 Jan 2010 10:05:18 -0500 Original-Received: from godzilla.ics.uci.edu (godzilla.ics.uci.edu [128.195.10.101]) by paul-mcgann-v0.ics.uci.edu (8.13.8/8.13.8) with ESMTP id o07F3e0O004120 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Thu, 7 Jan 2010 07:03:40 -0800 Original-Received: (from dann@localhost) by godzilla.ics.uci.edu (8.13.8+Sun/8.13.6/Submit) id o07F3dK8016638; Thu, 7 Jan 2010 07:03:39 -0800 (PST) In-Reply-To: <5309A4F9-E516-49E5-83CA-80B9DA50D92B@raeburn.org> (Ken Raeburn's message of "Thu, 7 Jan 2010 08:50:52 -0500") Original-Lines: 9 X-ICS-MailScanner-Information: Please send mail to helpdesk@ics.uci.edu or more information X-ICS-MailScanner-ID: o07F3e0O004120 X-ICS-MailScanner: Found to be clean X-ICS-MailScanner-SpamCheck: not spam, SpamAssassin (not cached, score=-1.44, required 5, autolearn=disabled, ALL_TRUSTED -1.44) X-ICS-MailScanner-From: dann@godzilla.ics.uci.edu 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." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-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:119580 Archived-At: Ken Raeburn writes: > While Coverity's stuff is commercial, they've offered its use to some > open-source/free software projects. In fact, as I recall, Emacs was > done some time ago, and a bunch of problems brought to this list, > though I don't know if anyone is monitoring to see how we fare now. Unfortunately the last run was in Oct 2008. I've sent a few emails to the admin list asking to restart running. No reply...