On Jan 12, 4:26am, dholland-sourcechan...@netbsd.org (David Holland) wrote: -- Subject: Re: CVS commit: src/usr.sbin/wake
| On Mon, Jan 11, 2010 at 06:31:29PM -0500, Christos Zoulas wrote: | > | In the long run (as I've said before) we should replace our lint with | > | something more modern... | > | > Once we get the llvm tools, I am fine with that. | | There's also splint, or sparse. Splint: License: - GPLv2: Cons: - does not understand gcc constructs - wierd flags and annotations - no c99 support - does not seem to be really supported: 3.1.2 release 2007-07-12 3.1.0 release 2003-04-21 Pros: - seems to be comprehensive and does many more tests than our lint Sparse: License: - Some weird and extra long transmeta license Cons: - Seems to do less than our lint, too simplistic - no c99 support - no annotations Pros: - Seems to understand gcc, is actively maintained. So splint looks like it has some value added, but it will need *a lot* of work to be integrated. Unless I am missing something, neither is appropriate in its current state to replace lint (without a few man-months of work), and I don't think that anybody will step up to do it. Comments? christos