[ILUG] Looking for a lint clone

[Paul Biggar]

> What do people out there in ILUG land use, or recommend to use, as a
> lint type scource code checker ?


I've heard good things about pclint (for c++). I see from google that
there exists a C version, though surely the C++ version works for C.
It is, AFAIK, neither Free nor free.


Theres a decent list here:
http://www.splint.org/links.html

and another here:
http://alephnull.com/perf.html

Linus wrote a tool called sparse, but I dont know if it runs on
anything, or just the kernel.

> splint, (*)lint ? Is there a semi-universally accepted obvious choice (tm) ?

My first experience with splint gave me false errors which actually
needed to be undone for the code to compile, and, being thus
displeased, I havent gone back.



> Ideally, I'd like a tool which could intercept the following.
> 
> char x[2];
> memset(x, 0x0,20); ?
> 
> Be that a runtime piece of magic software... else... a source code
> parser, with some damn good (tm) context awareness.

With the amount of research into static checking, you'd think there'd
be more Free tools that implement this sort of thing. Specifically,
see this post from one of the valgrind authors:

http://sourceforge.net/mailarchive/forum.php?forum_id=32038&style=flat&viewday=17&viewmonth=200401
 


Paul

-- 
Paul Biggar
paul.biggar at gmail.com