Messages in this thread |  | | Date | Thu, 4 Oct 2001 21:11:08 +0200 | From | David Weinehall <> | Subject | Re: Stanford checker [was Re: Past CREDITS files] |
| |
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 </ - 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/
|  |