----- Original Message -----
From: Alexander Viro
To: Arnaldo Carvalho de Melo <[email protected]>
Subject: Re: BKL removal
> On Tue, 9 Jul 2002, Arnaldo Carvalho de Melo wrote:
>
> > Try smatch:
> >
> > http://smatch.sf.net
> >
> > And see if you can write a smatch script to get a good broom for this trash 8)
>
I certainly am flatterred :)
But basically what Alexander Viro said is all true. The other problem that he didn't mention was that I don't see how checkers can be built to handle loops. In writing smatch I just ignore loops altogether.
For now I just take the quick and dirty approach. Also smatch really isn't finished yet. I worked on it for a half hour tonight and fixed the bugs with the lock_kernel check. Tomorrow I'll maybe add support for while, for, switch and break statements.
regards,
dan carpenter
--
__________________________________________________________
Sign-up for your own FREE Personalized E-mail at Mail.com
http://www.mail.com/?sr=signup
Save up to $160 by signing up for NetZero Platinum Internet service.
http://www.netzero.net/?refcd=N2P0602NEP8