tech-kern archive

[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

Home | Main Index | Thread Index | Old Index