From owner-cvs-src@FreeBSD.ORG Sun Jul 27 02:55:07 2003 Return-Path: Delivered-To: cvs-src@freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 87DE537B404; Sun, 27 Jul 2003 02:55:07 -0700 (PDT) Received: from mailout11.sul.t-online.com (mailout11.sul.t-online.com [194.25.134.85]) by mx1.FreeBSD.org (Postfix) with ESMTP id 04A4243F3F; Sun, 27 Jul 2003 02:55:06 -0700 (PDT) (envelope-from Alexander@Leidinger.net) Received: from fwd03.aul.t-online.de by mailout11.sul.t-online.com with smtp id 19giF5-00029R-05; Sun, 27 Jul 2003 11:55:03 +0200 Received: from Andro-Beta.Leidinger.net (SI4zlgZY8eokjYze4xS7xnEUFyfO+yrkBS3HO8lzgMfqO7AAL3-Tge@[217.83.18.165]) by fmrl03.sul.t-online.com with esmtp id 19giEt-1pVcga0; Sun, 27 Jul 2003 11:54:51 +0200 Received: from Magelan.Leidinger.net (Magelan [192.168.1.1]) h6R9sp9P047354; Sun, 27 Jul 2003 11:54:51 +0200 (CEST) (envelope-from Alexander@Leidinger.net) Received: from Magelan.Leidinger.net (netchild@localhost [127.0.0.1]) by Magelan.Leidinger.net (8.12.9/8.12.9) with SMTP id h6R9swFs001021; Sun, 27 Jul 2003 11:54:58 +0200 (CEST) (envelope-from Alexander@Leidinger.net) Date: Sun, 27 Jul 2003 11:54:57 +0200 From: Alexander Leidinger To: "Poul-Henning Kamp" Message-Id: <20030727115457.553f1df7.Alexander@Leidinger.net> In-Reply-To: <56900.1059255288@critter.freebsd.dk> References: <20030725212142.GB9176@cirb503493.alcatel.com.au> <56900.1059255288@critter.freebsd.dk> X-Mailer: Sylpheed version 0.9.3claws (GTK+ 1.2.10; i386-portbld-freebsd5.1) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Seen: false X-ID: SI4zlgZY8eokjYze4xS7xnEUFyfO+yrkBS3HO8lzgMfqO7AAL3-Tge@t-dialin.net cc: cvs-src@freebsd.org cc: src-committers@freebsd.org cc: dds@freebsd.org cc: cvs-all@freebsd.org Subject: Re: cvs commit: src/sys/kern init_main.c kern_malloc.c md5c.c subr_autoconf.c subr_mbuf.c subr_prf.c tty_subr.c vfs_cluster.c vfs_subr.c X-BeenThere: cvs-src@freebsd.org X-Mailman-Version: 2.1.1 Precedence: list List-Id: CVS commit messages for the src tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 27 Jul 2003 09:55:08 -0000 On Sat, 26 Jul 2003 23:34:48 +0200 "Poul-Henning Kamp" wrote: > When I first started to interest myself with the mechanics of > sanitizing the kernel source, it was because two common symbols had > the same name, which gave rather non-newtonian behaviour under a > given set of circumstances which I ran into rather often. > > Subsequently, I have written a couple of minor scripts to try to > help make sure certain kinds of consistency remains in force in the > kernel (this was the genesis of src/tools btw). > > I have even gone as far as to spend a fair bit of time testing > various code analysis tools, a decade ago I used Purify, these days > FlexeLint is my favourite, on the kernel correctling as I go the > most severe problems I found that way. [...] > We still have no tools which help us translate high level abstractions > into low level code or for that matter to validate the high level > abstractions in the first place. Are you talking about e.g. model checking? After Aug 2 I plan to look at porting 2 major open source model checkers. > Given all that, I firmly belive we should embrace every little bit > of help we can get from tools and programs we have, even if that > means minor inconveniences and a certain cramping of style here and > there. Perhaps you can convince dds (CCed) to extend devel/cscout in various helpful directions. Based upon his introduction to us at the time he got his commit bit and his homepage he may be interested in this kind of work. Bye, Alexander. -- "One world, one web, one program" -- Microsoft promotional ad "Ein Volk, ein Reich, ein Fuehrer" -- Adolf Hitler http://www.Leidinger.net Alexander @ Leidinger.net GPG fingerprint = C518 BC70 E67F 143F BE91 3365 79E2 9C60 B006 3FE7