[splint-discuss] Running Splint for Linux drivers

Brian Quinlan brian.quinlan at iolfree.ie
Thu Mar 6 17:02:00 PST 2008


> > [root at localhost build]# make splint
> > Going for Splint Checking
> > Splint 3.0.1.7 --- 24 Jan 2003
> > 
One other thing that I forgot: you're using a very old version of
splint. You should probably update it.

BQ



More information about the splint-discuss mailing list