Messages in this thread | | | Date | Tue, 9 Jul 2002 22:15:17 -0300 | From | Arnaldo Carvalho de Melo <> | Subject | Re: BKL removal |
| |
Em Tue, Jul 09, 2002 at 02:47:49PM -0700, Robert Love escreveu: > On Tue, 2002-07-09 at 07:44, Dave Hansen wrote: > > > The Stanford Checker or something resembling it would be invaluable > > here. It would be a hell of a lot better than my litle patch! > > The Stanford Checker would be infinitely invaluable here -- agreed. > > Anything that can graph call chains and do analysis... we can get it to > tell us exactly who and what.
Try smatch:
http://smatch.sf.net
And see if you can write a smatch script to get a good broom for this trash 8)
- Arnaldo - 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/
| |