From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Ken Raeburn Newsgroups: gmane.lisp.guile.devel Subject: Re: Locks and threads Date: Fri, 13 Feb 2009 20:25:44 -0500 Message-ID: <5A65EEAE-0A2E-433E-8C61-D937D38A3F25@raeburn.org> References: <87mycsd2rj.fsf@arudy.ossau.uklinux.net> <7370A161-0AD5-4CC3-8DB7-394A3AFD440E@raeburn.org> <873aejxsrb.fsf@gnu.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v930.3) Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1234574811 32049 80.91.229.12 (14 Feb 2009 01:26:51 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 14 Feb 2009 01:26:51 +0000 (UTC) Cc: guile-devel@gnu.org To: =?ISO-8859-1?Q?Ludovic_Court=E8s?= Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sat Feb 14 02:28:05 2009 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1LY9K8-0002Ov-Ft for guile-devel@m.gmane.org; Sat, 14 Feb 2009 02:28:04 +0100 Original-Received: from localhost ([127.0.0.1]:49674 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1LY9Io-0004W0-Gi for guile-devel@m.gmane.org; Fri, 13 Feb 2009 20:26:42 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1LY9IQ-0004Fv-AX for guile-devel@gnu.org; Fri, 13 Feb 2009 20:26:18 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1LY9IO-0004Eh-TX for guile-devel@gnu.org; Fri, 13 Feb 2009 20:26:17 -0500 Original-Received: from [199.232.76.173] (port=45605 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1LY9IO-0004Ea-4a for guile-devel@gnu.org; Fri, 13 Feb 2009 20:26:16 -0500 Original-Received: from raeburn.org ([69.25.196.97]:24079) by monty-python.gnu.org with esmtps (TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.60) (envelope-from ) id 1LY9ID-0006bH-MR; Fri, 13 Feb 2009 20:26:13 -0500 Original-Received: from NOME-KING.MIT.EDU (NOME-KING.MIT.EDU [18.18.1.160]) by raeburn.org (8.14.3/8.14.1) with ESMTP id n1E1NCRg024146; Fri, 13 Feb 2009 20:23:12 -0500 (EST) In-Reply-To: <873aejxsrb.fsf@gnu.org> X-Mailer: Apple Mail (2.930.3) X-detected-operating-system: by monty-python.gnu.org: NetBSD 3.0 (DF) X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:8163 Archived-At: On Feb 12, 2009, at 16:14, Ludovic Court=E8s wrote: > Ken Raeburn writes: >> [... Coverity ...] > I don't feel like supporting that tool. I noticed that other free > software supporters are doubtful, too: > http://blog.josefsson.org/2007/04/02/boycott-scancoveritycom/ . The license situation might be a problem for some, sure; that's up to =20= the individuals to decide. It looks okay by me, but I don't have time =20= to deal. Quite a number of the projects at scan.coverity.com are GNU projects, =20= including emacs and gcc; any idea if anyone from the GNU Project has =20 talked to Coverity in an official capacity about getting the terms =20 changed? > We could use tools like Splint, but it seems to be quite intrusive and > difficult to use when not used from the beginning of the project (to =20= > get > an idea it gives 97 warnings on `alist.c'...). I used to use Splint, and it did find a few problems for me; between =20 the intrusiveness and the relative lack of work on it these days, and =20= the difficulty in expressing some constructs to it, I don't bother any =20= more. I'm not convinced it was worth the time and annoyance to =20 annotate the code. Ken=