From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Ken Raeburn Newsgroups: gmane.emacs.devel Subject: Re: Splint Date: Thu, 7 Jan 2010 08:50:52 -0500 Message-ID: <5309A4F9-E516-49E5-83CA-80B9DA50D92B@raeburn.org> References: <27057818.post@talk.nabble.com> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v936) Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1262872347 7232 80.91.229.12 (7 Jan 2010 13:52:27 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 7 Jan 2010 13:52:27 +0000 (UTC) Cc: Emacs-devel@gnu.org To: "alin.s" Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Thu Jan 07 14:52:20 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 1NSsme-0007Ds-EA for ged-emacs-devel@m.gmane.org; Thu, 07 Jan 2010 14:52:16 +0100 Original-Received: from localhost ([127.0.0.1]:47639 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1NSsme-0001wF-V8 for ged-emacs-devel@m.gmane.org; Thu, 07 Jan 2010 08:52:17 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1NSslX-0000mO-23 for emacs-devel@gnu.org; Thu, 07 Jan 2010 08:51:07 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1NSslS-0000jr-CT for Emacs-devel@gnu.org; Thu, 07 Jan 2010 08:51:06 -0500 Original-Received: from [199.232.76.173] (port=57942 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1NSslS-0000je-5T for Emacs-devel@gnu.org; Thu, 07 Jan 2010 08:51:02 -0500 Original-Received: from splat.raeburn.org ([69.25.196.39]:61358 helo=raeburn.org) by monty-python.gnu.org with esmtps (TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.60) (envelope-from ) id 1NSslK-0007e3-5I for Emacs-devel@gnu.org; Thu, 07 Jan 2010 08:51:01 -0500 Original-Received: from squish.raeburn.org (squish.raeburn.org [10.0.0.172]) by raeburn.org (8.14.3/8.14.1) with ESMTP id o07DoqM0006476; Thu, 7 Jan 2010 08:50:52 -0500 (EST) In-Reply-To: <27057818.post@talk.nabble.com> X-Mailer: Apple Mail (2.936) X-detected-operating-system: by monty-python.gnu.org: Genre and OS details not recognized. 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:119571 Archived-At: On Jan 7, 2010, at 05:43, alin.s wrote: > Have somebody tried to make an exhaustive test of splint in all > emacs C > source code? > > Does it worth inserting such scripts in Makefile.am ? I played with splint a few years back (not for Emacs but another project). It's an interesting tool, but the lack of maintenance and some issues in how it works were a bit of a problem. For example, I found lots of annotations in the code were needed, and often declarations needed to be broken up with typedefs so you could annotate a pointer-to-pointer type properly. I'd suggest looking for a better tool, unless there's been seriously renewed efforts to improve splint. 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. Ken