[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
Re: Lining the kernel (Was: __dead functions)
On Fri, Jul 18, 2008 at 09:59:48PM +0400, Valeriy E. Ushakov wrote:
> IIRC, the current showstopper is that lint is thoroughly confused by
> the mbuf code.
Have you tried splint? Our lint is... mature.
(I've also been meaning to try Linus's sparse on the kernel sometime.)
David A. Holland
Main Index |
Thread Index |