BKL removal
----- Original Message -----
From: Alexander Viro
To: Arnaldo Carvalho de Melo <[email protected]>
Subject: Re: BKL removal
Quoted 8 lines · Arnaldo Carvalho de Melo
Quoted 6 lines
Try smatch:
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
Signature · 6 lines
__________________________________________________________ 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