[splint-discuss] Execution Question.

[Roland Illig]

CBFalconer wrote:
> You will have to pay for it, but PCLINT will run under windoze or
> DOS, and a version (much more expensive) is available for
> Unix/Linux.  That handles C++.  This will cost you something in
> the range 200 to 1000 USD.
> 
> A first, and much cheaper, alternative is to compile it with gcc
> (open source) with appropriate warning levels set.  "-W -Wall
> -ansi -pedantic -Wwrite-strings -O2" is recommended.
> 

not to forget -Wshadow (since at least gcc-2.95) -Wfloat-equal (since 
gcc-3.2).

But all that doesn't help you much with memory management issues and 
NULL pointers. But with the memory management checking even SPlint has 
still some problems if the control flow is not straightforward (for 
example by using if (mem) { free(mem); }. But it definitely helps a lot.

Roland