From kernel-audit-bounce@nl.linux.org Tue Jan 29 16:03:23 2002 Received: from localhost.nl.linux.org ([IPv6:::ffff:127.0.0.1]:13025 "EHLO humbolt.") by humbolt.nl.linux.org with ESMTP id ; Tue, 29 Jan 2002 16:03:16 +0100 Received: with LISTAR (v1.0.0; list kernel-audit); Tue, 29 Jan 2002 16:01:07 +0100 (CET) Received: from mother.ludd.luth.se ([IPv6:::ffff:130.240.16.3]:14530 "EHLO mother.ludd.luth.se") by humbolt.nl.linux.org with ESMTP id ; Tue, 29 Jan 2002 16:00:48 +0100 Received: from queeg.ludd.luth.se (queeg.ludd.luth.se [130.240.16.109]) by mother.ludd.luth.se (8.10.2+Sun/8.9.3) with ESMTP id g0TEv2B22973 for ; Tue, 29 Jan 2002 15:57:02 +0100 (MET) Received: (from www@localhost) by queeg.ludd.luth.se (8.11.5/8.9.3) id g0TEv0B64687 for kernel-audit@nl.linux.org; Tue, 29 Jan 2002 15:57:01 +0100 (CET) X-Authentication-Warning: queeg.ludd.luth.se: www set sender to peteran@ludd.luth.se using -f To: Kernel Audit Mailing List Subject: Experimenting with lclint/splint Message-ID: <1012316217.3c56b839bbd9f@webmail.ludd.luth.se> Date: Tue, 29 Jan 2002 15:56:57 +0100 (CET) From: peteran@ludd.luth.se MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit User-Agent: IMP/PHP IMAP webmail program 2.2.6 X-Originating-IP: 130.240.194.128 X-listar-version: Listar v1.0.0 Sender: kernel-audit-bounce@nl.linux.org Errors-to: kernel-audit-bounce@nl.linux.org X-original-sender: peteran@ludd.luth.se Precedence: bulk List-help: List-unsubscribe: List-software: Listar version 1.0.0 X-List-ID: List-subscribe: List-owner: List-post: List-archive: X-list: kernel-audit Return-Path: X-Envelope-To: <"| /bin/marchive -a -m -f /home/majordomo/public_html/kernel-audit/folders/kernel-audit"> (uid 0) X-Orcpt: rfc822;kernel-audit-archive@nl.linux.org Original-Recipient: rfc822;kernel-audit-archive@nl.linux.org Hi, I just joined this mailing list and thought of checking if anyone was alive here. There seems to have been no posts during the last year which leads me to believe that either the list has died or that everybody is busy auditing. What I currently am doing is playing around with lclint, or splint as it is now known. There were some great difficulties in the beginning with splint barfing over many things, but after getting .splintrc right things started to work out a bit better. Most remaining problems have to do with gnu extensions and splint not being up to par with C99 (or something). Specifically "asm" should be banned (GCC extension) and "__asm"/"__asm__" used instead. Same with "inline" <-> "__inline"/"__inline__". Splint is not very happy with those and fails miserably with just reporing a parse error. Tracing those to the correct macros was quite an adventure for a kernel newbie. Most things were quite easily fixed by using e.g. -Dasm=__asm__ in .splintrc. Some were not though resulting in ugly #ifndef S_SPLINT_S compiling without splint variant #else stupid splint variant #endif Now I am at a point where splint runs quite nicely, but there is one little problem. Splint is a memory hog! Running it on all the source in the kernel is not recommended. The kernel I play with is 2.5.2, but if I nail down all the splint wrongs and "must have" gnu extensions and bug the splint authors to fix them, then splint should become a viable option to use for using when auditing and developing. Any thoughts or questions? Anybody working on similiar things? /Peter Anttu ----------------------------------------------------------------------- This mail was sent through Ludd's webmail https://webmail.ludd.luth.se/ - Kernel-audit: discussion list for security and the linux kernel Archive: http://mail.nl.linux.org/kernel-audit/ From kernel-audit-bounce@nl.linux.org Tue Jan 29 16:32:03 2002 Received: from localhost.nl.linux.org ([IPv6:::ffff:127.0.0.1]:34534 "EHLO humbolt.") by humbolt.nl.linux.org with ESMTP id ; Tue, 29 Jan 2002 16:31:50 +0100 Received: with LISTAR (v1.0.0; list kernel-audit); Tue, 29 Jan 2002 16:31:05 +0100 (CET) Received: from oh-clevelandheights4a-252.clvhoh.adelphia.net ([IPv6:::ffff:24.50.237.252]:52633 "EHLO b64198.tod.net") by humbolt.nl.linux.org with ESMTP id ; Tue, 29 Jan 2002 16:30:49 +0100 Received: from b64198.tod.net (tackle@localhost [127.0.0.1]) by b64198.tod.net (8.12.1/8.12.1/Debian -5) with ESMTP id g0TFUhfW026099; Tue, 29 Jan 2002 10:30:43 -0500 Received: from localhost (tackle@localhost) by b64198.tod.net (8.12.1/8.12.1/Debian -5) with ESMTP id g0TFUhrF026095; Tue, 29 Jan 2002 10:30:43 -0500 Date: Tue, 29 Jan 2002 10:30:43 -0500 (EST) From: tackle@b64198.tod.net Reply-To: nas7@po.cwru.edu To: peteran@ludd.luth.se cc: Kernel Audit Mailing List Subject: Re: Experimenting with lclint/splint In-Reply-To: <1012316217.3c56b839bbd9f@webmail.ludd.luth.se> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-listar-version: Listar v1.0.0 Sender: kernel-audit-bounce@nl.linux.org Errors-to: kernel-audit-bounce@nl.linux.org X-original-sender: tackle@b64198.tod.net Precedence: bulk List-help: List-unsubscribe: List-software: Listar version 1.0.0 X-List-ID: List-subscribe: List-owner: List-post: List-archive: X-list: kernel-audit Return-Path: X-Envelope-To: <"| /bin/marchive -a -m -f /home/majordomo/public_html/kernel-audit/folders/kernel-audit"> (uid 0) X-Orcpt: rfc822;kernel-audit-archive@nl.linux.org Original-Recipient: rfc822;kernel-audit-archive@nl.linux.org I think the answer is that the list has almost died. Nathan - Kernel-audit: discussion list for security and the linux kernel Archive: http://mail.nl.linux.org/kernel-audit/ From kernel-audit-bounce@nl.linux.org Tue Jan 29 16:44:49 2002 Received: from localhost.nl.linux.org ([IPv6:::ffff:127.0.0.1]:18666 "EHLO humbolt.") by humbolt.nl.linux.org with ESMTP id ; Tue, 29 Jan 2002 16:44:36 +0100 Received: with LISTAR (v1.0.0; list kernel-audit); Tue, 29 Jan 2002 16:43:51 +0100 (CET) Received: from twofish.wiretrip.org ([IPv6:::ffff:195.64.82.87]:7390 "EHLO twofish.wiretrip.org") by humbolt.nl.linux.org with ESMTP id ; Tue, 29 Jan 2002 16:43:39 +0100 Received: from rvdm by twofish.wiretrip.org with local (Exim 3.33 #1 (Debian)) id 16VaNt-0000if-00; Tue, 29 Jan 2002 16:41:21 +0100 Date: Tue, 29 Jan 2002 16:41:21 +0100 From: Robert van der Meulen To: nas7@po.cwru.edu Cc: peteran@ludd.luth.se, Kernel Audit Mailing List Subject: Re: Experimenting with lclint/splint Message-ID: <20020129154121.GA2742@wiretrip.org> Mail-Followup-To: nas7@po.cwru.edu, peteran@ludd.luth.se, Kernel Audit Mailing List References: <1012316217.3c56b839bbd9f@webmail.ludd.luth.se> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.3.25i X-listar-version: Listar v1.0.0 Sender: kernel-audit-bounce@nl.linux.org Errors-to: kernel-audit-bounce@nl.linux.org X-original-sender: rvdm@wiretrip.org Precedence: bulk List-help: List-unsubscribe: List-software: Listar version 1.0.0 X-List-ID: List-subscribe: List-owner: List-post: List-archive: X-list: kernel-audit Return-Path: X-Envelope-To: <"| /bin/marchive -a -m -f /home/majordomo/public_html/kernel-audit/folders/kernel-audit"> (uid 0) X-Orcpt: rfc822;kernel-audit-archive@nl.linux.org Original-Recipient: rfc822;kernel-audit-archive@nl.linux.org Quoting tackle@b64198.tod.net (tackle@b64198.tod.net): > I think the answer is that the list has almost died. Indeed - i was surprised to see a post :) Greets, Robert -- Linux Generation encrypted mail preferred. finger rvdm@debian.org for my GnuPG/PGP key. All extremists should be taken out and shot. - Kernel-audit: discussion list for security and the linux kernel Archive: http://mail.nl.linux.org/kernel-audit/ From kernel-audit-bounce@nl.linux.org Tue Jan 29 16:48:10 2002 Received: from localhost.nl.linux.org ([IPv6:::ffff:127.0.0.1]:29932 "EHLO humbolt.") by humbolt.nl.linux.org with ESMTP id ; Tue, 29 Jan 2002 16:48:02 +0100 Received: with LISTAR (v1.0.0; list kernel-audit); Tue, 29 Jan 2002 16:47:17 +0100 (CET) Received: from mother.ludd.luth.se ([IPv6:::ffff:130.240.16.3]:41941 "EHLO mother.ludd.luth.se") by humbolt.nl.linux.org with ESMTP id ; Tue, 29 Jan 2002 16:44:36 +0100 Received: from queeg.ludd.luth.se (queeg.ludd.luth.se [130.240.16.109]) by mother.ludd.luth.se (8.10.2+Sun/8.9.3) with ESMTP id g0TFeoB26493 for ; Tue, 29 Jan 2002 16:40:51 +0100 (MET) Received: (from www@localhost) by queeg.ludd.luth.se (8.11.5/8.9.3) id g0TFeo969709 for kernel-audit@nl.linux.org; Tue, 29 Jan 2002 16:40:50 +0100 (CET) X-Authentication-Warning: queeg.ludd.luth.se: www set sender to peteran@ludd.luth.se using -f To: kernel-audit@nl.linux.org Subject: Re: Experimenting with lclint/splint Message-ID: <1012318850.3c56c2821580e@webmail.ludd.luth.se> Date: Tue, 29 Jan 2002 16:40:50 +0100 (CET) From: peteran@ludd.luth.se References: In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit User-Agent: IMP/PHP IMAP webmail program 2.2.6 X-Originating-IP: 130.240.194.128 X-listar-version: Listar v1.0.0 Sender: kernel-audit-bounce@nl.linux.org Errors-to: kernel-audit-bounce@nl.linux.org X-original-sender: peteran@ludd.luth.se Precedence: bulk List-help: List-unsubscribe: List-software: Listar version 1.0.0 X-List-ID: List-subscribe: List-owner: List-post: List-archive: X-list: kernel-audit Return-Path: X-Envelope-To: <"| /bin/marchive -a -m -f /home/majordomo/public_html/kernel-audit/folders/kernel-audit"> (uid 0) X-Orcpt: rfc822;kernel-audit-archive@nl.linux.org Original-Recipient: rfc822;kernel-audit-archive@nl.linux.org Quoting tackle@b64198.tod.net: > I think the answer is that the list has almost died. > > Nathan > > That was about my guess. Thought on probing for anyone still on this list. I just noticed a mention to other lists that are more successfull in the area this list was meant to work on. security-audit was mentioned. Any pointers to other lists? Perhaps some that are not so high-volume ones as some are? ----------------------------------------------------------------------- This mail was sent through Ludd's webmail https://webmail.ludd.luth.se/ - Kernel-audit: discussion list for security and the linux kernel Archive: http://mail.nl.linux.org/kernel-audit/ From kernel-audit-bounce@nl.linux.org Tue Jan 29 17:03:46 2002 Received: from localhost.nl.linux.org ([IPv6:::ffff:127.0.0.1]:17794 "EHLO humbolt.") by humbolt.nl.linux.org with ESMTP id ; Tue, 29 Jan 2002 17:03:24 +0100 Received: with LISTAR (v1.0.0; list kernel-audit); Tue, 29 Jan 2002 17:02:09 +0100 (CET) Received: from mta02-svc.ntlworld.com ([IPv6:::ffff:62.253.162.42]:9173 "EHLO mta02-svc.ntlworld.com") by humbolt.nl.linux.org with ESMTP id ; Tue, 29 Jan 2002 17:01:47 +0100 Received: from bigfoot.com ([62.253.144.47]) by mta03-svc.ntlworld.com (InterMail vM.4.01.03.27 201-229-121-127-20010626) with ESMTP id <20020129155725.IBMN26285.mta03-svc.ntlworld.com@bigfoot.com>; Tue, 29 Jan 2002 15:57:25 +0000 Message-ID: <3C56C664.9B595A12@bigfoot.com> Date: Tue, 29 Jan 2002 15:57:24 +0000 From: James Organization: James - (jtl1-BF) X-Mailer: Mozilla 4.79 [en] (Win95; U) X-Accept-Language: en-GB,fr,fr-CH,fr-CA,de-DE,de-CH,de-AT MIME-Version: 1.0 To: peteran@ludd.luth.se CC: kernel-audit@nl.linux.org Subject: kernel-audit lurkers References: <1012318850.3c56c2821580e@webmail.ludd.luth.se> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-listar-version: Listar v1.0.0 Sender: kernel-audit-bounce@nl.linux.org Errors-to: kernel-audit-bounce@nl.linux.org X-original-sender: jtl1listmail@bigfoot.com Precedence: bulk List-help: List-unsubscribe: List-software: Listar version 1.0.0 X-List-ID: List-subscribe: List-owner: List-post: List-archive: X-list: kernel-audit Return-Path: X-Envelope-To: <"| /bin/marchive -a -m -f /home/majordomo/public_html/kernel-audit/folders/kernel-audit"> (uid 0) X-Orcpt: rfc822;kernel-audit-archive@nl.linux.org Original-Recipient: rfc822;kernel-audit-archive@nl.linux.org -------- Original Message -------- Subject: Re: Experimenting with lclint/splint Date: Tue, 29 Jan 2002 16:40:50 +0100 (CET) From: peteran@ludd.luth.se To: kernel-audit@nl.linux.org peteran@ludd.luth.se wrote: > > Quoting tackle@b64198.tod.net: > > > I think the answer is that the list has almost died. > > > > Nathan > > > > > That was about my guess. Thought on probing for anyone still on this list. I > just noticed a mention to other lists that are more successfull in the area > this list was meant to work on. security-audit was mentioned. > Any pointers to other lists? > Perhaps some that are not so high-volume ones as some are? Try: security-audit@ferret.lmh.ox.ac.uk That is more than just kernel specific, but there have been some very interesting posters and threads recently - such as glibc as one example. Alan Cox has chipped in once or twice AFAIR. --James - Kernel-audit: discussion list for security and the linux kernel Archive: http://mail.nl.linux.org/kernel-audit/ From kernel-audit-bounce@nl.linux.org Tue Jan 29 17:07:25 2002 Received: from localhost.nl.linux.org ([IPv6:::ffff:127.0.0.1]:33924 "EHLO humbolt.") by humbolt.nl.linux.org with ESMTP id ; Tue, 29 Jan 2002 17:07:05 +0100 Received: with LISTAR (v1.0.0; list kernel-audit); Tue, 29 Jan 2002 17:06:20 +0100 (CET) Received: from security.is ([IPv6:::ffff:62.145.149.99]:20118 "EHLO security.is") by humbolt.nl.linux.org with ESMTP id ; Tue, 29 Jan 2002 17:02:34 +0100 Received: by security.is (Postfix, from userid 1000) id E0D7B17BB; Tue, 29 Jan 2002 16:02:22 +0000 (GMT) Date: Tue, 29 Jan 2002 16:02:22 +0000 From: nop@security.is To: Kernel Audit Mailing List Subject: Re: Experimenting with lclint/splint Message-ID: <20020129160222.GA16531@security.is> References: <1012316217.3c56b839bbd9f@webmail.ludd.luth.se> <20020129154121.GA2742@wiretrip.org> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20020129154121.GA2742@wiretrip.org> X-listar-version: Listar v1.0.0 Sender: kernel-audit-bounce@nl.linux.org Errors-to: kernel-audit-bounce@nl.linux.org X-original-sender: nop@security.is Precedence: bulk List-help: List-unsubscribe: List-software: Listar version 1.0.0 X-List-ID: List-subscribe: List-owner: List-post: List-archive: X-list: kernel-audit Return-Path: X-Envelope-To: <"| /bin/marchive -a -m -f /home/majordomo/public_html/kernel-audit/folders/kernel-audit"> (uid 0) X-Orcpt: rfc822;kernel-audit-archive@nl.linux.org Original-Recipient: rfc822;kernel-audit-archive@nl.linux.org The discussion has been dead to say the least, but the list and the people subscribed to it, seem to be alive. :-) Tue, Jan 29, 2002 at 04:41:21PM +0100 ritaši Robert van der Meulen: > > Quoting tackle@b64198.tod.net (tackle@b64198.tod.net): > > I think the answer is that the list has almost died. > Indeed - i was surprised to see a post :) > > Greets, > Robert > > -- > Linux Generation > encrypted mail preferred. finger rvdm@debian.org for my GnuPG/PGP key. > All extremists should be taken out and shot. > - > Kernel-audit: discussion list for security and the linux kernel > Archive: http://mail.nl.linux.org/kernel-audit/ > - Kernel-audit: discussion list for security and the linux kernel Archive: http://mail.nl.linux.org/kernel-audit/ From kernel-audit-bounce@nl.linux.org Tue Jan 29 17:23:13 2002 Received: from localhost.nl.linux.org ([IPv6:::ffff:127.0.0.1]:17547 "EHLO humbolt.") by humbolt.nl.linux.org with ESMTP id ; Tue, 29 Jan 2002 17:23:10 +0100 Received: with LISTAR (v1.0.0; list kernel-audit); Tue, 29 Jan 2002 17:22:21 +0100 (CET) Received: from cs.huji.ac.il ([IPv6:::ffff:132.65.16.10]:3035 "EHLO cs.huji.ac.il") by humbolt.nl.linux.org with ESMTP id ; Tue, 29 Jan 2002 17:21:56 +0100 Received: from grok.cs.huji.ac.il ([132.65.80.80] ident=mail) by cs.huji.ac.il with esmtp (Exim 3.34 #1) id 16Vb0l-0003xo-00; Tue, 29 Jan 2002 18:21:31 +0200 Received: from elylevy by grok.cs.huji.ac.il with local (Exim 3.16 #1) id 16Vb0l-0000vP-00; Tue, 29 Jan 2002 18:21:31 +0200 Date: Tue, 29 Jan 2002 18:21:31 +0200 (IST) From: Ely Levy To: Robert van der Meulen cc: Kernel Audit Mailing List Subject: Re: Experimenting with lclint/splint In-Reply-To: <20020129154121.GA2742@wiretrip.org> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-listar-version: Listar v1.0.0 Sender: kernel-audit-bounce@nl.linux.org Errors-to: kernel-audit-bounce@nl.linux.org X-original-sender: elylevy@cs.huji.ac.il Precedence: bulk List-help: List-unsubscribe: List-software: Listar version 1.0.0 X-List-ID: List-subscribe: List-owner: List-post: List-archive: X-list: kernel-audit Return-Path: X-Envelope-To: <"| /bin/marchive -a -m -f /home/majordomo/public_html/kernel-audit/folders/kernel-audit"> (uid 0) X-Orcpt: rfc822;kernel-audit-archive@nl.linux.org Original-Recipient: rfc822;kernel-audit-archive@nl.linux.org yep, would join you on that one Ely Levy System group Hebrew University Jerusalem Israel On Tue, 29 Jan 2002, Robert van der Meulen wrote: > > Quoting tackle@b64198.tod.net (tackle@b64198.tod.net): > > I think the answer is that the list has almost died. > Indeed - i was surprised to see a post :) > > Greets, > Robert > > -- > Linux Generation > encrypted mail preferred. finger rvdm@debian.org for my GnuPG/PGP key. > All extremists should be taken out and shot. > - > Kernel-audit:discussion list for security and the linux kernel > Archive: http://mail.nl.linux.org/kernel-audit/ > > - Kernel-audit: discussion list for security and the linux kernel Archive: http://mail.nl.linux.org/kernel-audit/ From kernel-audit-bounce@nl.linux.org Wed Jan 30 13:50:23 2002 Received: from localhost.nl.linux.org ([IPv6:::ffff:127.0.0.1]:9896 "EHLO humbolt.") by humbolt.nl.linux.org with ESMTP id ; Wed, 30 Jan 2002 13:50:04 +0100 Received: with LISTAR (v1.0.0; list kernel-audit); Wed, 30 Jan 2002 13:48:51 +0100 (CET) Received: from [IPv6:::ffff:213.26.174.145] ([IPv6:::ffff:213.26.174.145]:2313 "EHLO trillian.anzon.it") by humbolt.nl.linux.org with ESMTP id ; Wed, 30 Jan 2002 13:48:35 +0100 Received: (from pan@localhost) by trillian.anzon.it (8.11.6/8.11.6) id g0UCmCG20938 for kernel-audit@nl.linux.org; Wed, 30 Jan 2002 13:48:12 +0100 Date: Wed, 30 Jan 2002 13:48:12 +0100 From: Emilio Anzon To: Kernel Audit Mailing List Subject: Re: Experimenting with lclint/splint Message-ID: <20020130134812.A20851@trillian.anzon.it> References: <1012316217.3c56b839bbd9f@webmail.ludd.luth.se> <20020129154121.GA2742@wiretrip.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20020129154121.GA2742@wiretrip.org> User-Agent: Mutt/1.3.23i X-listar-version: Listar v1.0.0 Sender: kernel-audit-bounce@nl.linux.org Errors-to: kernel-audit-bounce@nl.linux.org X-original-sender: pan@linux.it Precedence: bulk List-help: List-unsubscribe: List-software: Listar version 1.0.0 X-List-ID: List-subscribe: List-owner: List-post: List-archive: X-list: kernel-audit Return-Path: X-Envelope-To: <"| /bin/marchive -a -m -f /home/majordomo/public_html/kernel-audit/folders/kernel-audit"> (uid 0) X-Orcpt: rfc822;kernel-audit-archive@nl.linux.org Original-Recipient: rfc822;kernel-audit-archive@nl.linux.org On Tue, Jan 29, 2002 at 04:41:21PM +0100, Robert van der Meulen wrote: > > Quoting tackle@b64198.tod.net (tackle@b64198.tod.net): > > I think the answer is that the list has almost died. > Indeed - i was surprised to see a post :) surprisly so many replies not on the matter ;-) \Emilio - Kernel-audit: discussion list for security and the linux kernel Archive: http://mail.nl.linux.org/kernel-audit/ From kernel-audit-bounce@nl.linux.org Wed Jan 30 14:48:39 2002 Received: from localhost.nl.linux.org ([IPv6:::ffff:127.0.0.1]:32178 "EHLO humbolt.") by humbolt.nl.linux.org with ESMTP id ; Wed, 30 Jan 2002 14:48:23 +0100 Received: with LISTAR (v1.0.0; list kernel-audit); Wed, 30 Jan 2002 14:47:32 +0100 (CET) Received: from perninha.conectiva.com.br ([IPv6:::ffff:200.250.58.156]:19209 "EHLO perninha.conectiva.com.br") by humbolt.nl.linux.org with ESMTP id ; Wed, 30 Jan 2002 14:47:24 +0100 Received: from brinquedo.distro.conectiva (dhcp175.distro.conectiva [10.0.20.175]) by perninha.conectiva.com.br (Postfix) with ESMTP id 27EE438DA2; Wed, 30 Jan 2002 10:47:22 -0300 (EST) Received: by brinquedo.distro.conectiva (Postfix, from userid 501) id 3235CC455; Wed, 30 Jan 2002 11:29:19 -0200 (BRST) Date: Wed, 30 Jan 2002 11:29:19 -0200 From: Arnaldo Carvalho de Melo To: peteran@ludd.luth.se Cc: Kernel Audit Mailing List Subject: Re: Experimenting with lclint/splint Message-ID: <20020130132919.GA820@conectiva.com.br> References: <1012316217.3c56b839bbd9f@webmail.ludd.luth.se> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1012316217.3c56b839bbd9f@webmail.ludd.luth.se> User-Agent: Mutt/1.3.25i X-Url: http://advogato.org/person/acme X-listar-version: Listar v1.0.0 Sender: kernel-audit-bounce@nl.linux.org Errors-to: kernel-audit-bounce@nl.linux.org X-original-sender: acme@conectiva.com.br Precedence: bulk List-help: List-unsubscribe: List-software: Listar version 1.0.0 X-List-ID: List-subscribe: List-owner: List-post: List-archive: X-list: kernel-audit Return-Path: X-Envelope-To: <"| /bin/marchive -a -m -f /home/majordomo/public_html/kernel-audit/folders/kernel-audit"> (uid 0) X-Orcpt: rfc822;kernel-audit-archive@nl.linux.org Original-Recipient: rfc822;kernel-audit-archive@nl.linux.org Em Tue, Jan 29, 2002 at 03:56:57PM +0100, peteran@ludd.luth.se escreveu: > Hi, > I just joined this mailing list and thought of checking if anyone was > alive here. There seems to have been no posts during the last year which > leads me to believe that either the list has died or that everybody is > busy auditing. Well, you may want to take a look at http://kerneljanitors.org 8) > What I currently am doing is playing around with lclint, or splint as it > is now known. There were some great difficulties in the beginning with > splint barfing over many things, but after getting .splintrc right things > started to work out a bit better. Most remaining problems have to do with > gnu extensions and splint not being up to par with C99 (or something). Nice. I was going to spend some time cooking up a .splintrc as well, so can you please send me what you have? > Specifically "asm" should be banned (GCC extension) and "__asm"/"__asm__" > used instead. Same with "inline" <-> "__inline"/"__inline__". Splint is > not very happy with those and fails miserably with just reporing a parse > error. Tracing those to the correct macros was quite an adventure for a > kernel newbie. I plan to convert 'inline' to '__inline__' and friends in the KJP > Most things were quite easily fixed by using e.g. -Dasm=__asm__ in > .splintrc. Some were not though resulting in ugly #ifndef S_SPLINT_S > compiling without splint variant #else stupid splint variant #endif > > Now I am at a point where splint runs quite nicely, but there is one > little problem. Splint is a memory hog! Running it on all the source in > the kernel is not recommended. hey, thats why I got that 512 DDR ram module 8) - Arnaldo - Kernel-audit: discussion list for security and the linux kernel Archive: http://mail.nl.linux.org/kernel-audit/