Source-Changes-D archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: CVS commit: src/usr.sbin/wake

On Jan 12,  4:26am, (David Holland) 
-- 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.

        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

        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.



Home | Main Index | Thread Index | Old Index