Return-Path: <linux-kernel-owner@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
	id <S276120AbRJDJfT>; Thu, 4 Oct 2001 05:35:19 -0400
Received: (majordomo@vger.kernel.org) by vger.kernel.org
	id <S276195AbRJDJfJ>; Thu, 4 Oct 2001 05:35:09 -0400
Received: from twilight.cs.hut.fi ([130.233.40.5]:54112 "EHLO
	twilight.cs.hut.fi") by vger.kernel.org with ESMTP
	id <S276120AbRJDJe4>; Thu, 4 Oct 2001 05:34:56 -0400
Date: Thu, 4 Oct 2001 12:35:14 +0300
From: Ville Herva <vherva@mail.niksula.cs.hut.fi>
To: David Weinehall <tao@acc.umu.se>, linux-kernel@vger.kernel.org
Subject: Stanford checker [was Re: Past CREDITS files]
Message-ID: <20011004123513.M22640@niksula.cs.hut.fi>
In-Reply-To: <20011003162217.5eda53e8.juha.siltala@mail.suomi.net> <20011004034733.V7800@khan.acc.umu.se> <20011004095333.5796621a.juha.siltala@mail.suomi.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.2.5i
In-Reply-To: <20011004095333.5796621a.juha.siltala@mail.suomi.net>; from juha.siltala@mail.suomi.net on Thu, Oct 04, 2001 at 09:53:33AM +0300
Sender: linux-kernel-owner@vger.kernel.org
X-Mailing-List: linux-kernel@vger.kernel.org

David Weinehall <tao@acc.umu.se> wrote:
> 
> (...) my all-time favourite project, the Standford-checker (...)

Speaking of which, has anybody planned to run it on 2.2 (or 2.0 ;) ) code
base? I mean, while 2.2 is not that interesting development wise, it is
still the more stable series and running checker on it might reveal even
security bugs...


-- v --

v@iki.fi
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/