Messages in this thread |  | | Date | Thu, 4 Oct 2001 12:35:14 +0300 | From | Ville Herva <> | Subject | Stanford checker [was Re: Past CREDITS files] |
| |
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/
|  |