From: David Weinehall <tao@acc.umu.se>
To: Ville Herva <vherva@mail.niksula.cs.hut.fi>
Cc: linux-kernel@vger.kernel.org
Subject: Re: Stanford checker [was Re: Past CREDITS files]
Date: Thu, 4 Oct 2001 21:11:08 +0200 [thread overview]
Message-ID: <20011004211108.Z7800@khan.acc.umu.se> (raw)
In-Reply-To: <20011003162217.5eda53e8.juha.siltala@mail.suomi.net> <20011004034733.V7800@khan.acc.umu.se> <20011004095333.5796621a.juha.siltala@mail.suomi.net> <20011004123513.M22640@niksula.cs.hut.fi>
In-Reply-To: <20011004123513.M22640@niksula.cs.hut.fi>; from vherva@mail.niksula.cs.hut.fi on Thu, Oct 04, 2001 at 12:35:14PM +0300
On Thu, Oct 04, 2001 at 12:35:14PM +0300, Ville Herva wrote:
> 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...
I don't know, but I for one would be enormously grateful if anyone
ran it on the v2.0.39 tree.
/David Weinehall
_ _
// David Weinehall <tao@acc.umu.se> /> Northern lights wander \\
// Project MCA Linux hacker // Dance across the winter sky //
\> http://www.acc.umu.se/~tao/ </ Full colour fire </
next prev parent reply other threads:[~2001-10-04 19:10 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-10-03 13:22 Past CREDITS files Juha Siltala
2001-10-03 13:38 ` Brian Gerst
2001-10-04 1:47 ` David Weinehall
2001-10-04 7:32 ` Geert Uytterhoeven
2001-10-04 2:22 ` Robert Love
2001-10-04 7:59 ` Henning P. Schmiedehausen
2001-10-04 16:04 ` Horst von Brand
2001-10-04 6:53 ` Juha Siltala
2001-10-04 9:35 ` Stanford checker [was Re: Past CREDITS files] Ville Herva
2001-10-04 19:11 ` David Weinehall [this message]
2001-10-04 22:04 ` Past CREDITS files Alan Cox
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20011004211108.Z7800@khan.acc.umu.se \
--to=tao@acc.umu.se \
--cc=linux-kernel@vger.kernel.org \
--cc=vherva@mail.niksula.cs.hut.fi \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®