[splint-discuss] Execution Question.

[John Carter]

For memory allocation woes, in a somewhat different category, namely run 
time memory use checking, the "valgrind" program from
   http://valgrind.kde.org/ 
is superb.

It is a complementary tool to splint. Splint is purely static analysis of 
C programs. Valgrind is runtime checking of _any_ program.

(It is complementary in that it makes eminent sense for the splint
  developers to run their test suite of splint under  valgrind,
  and for the valgrind developers to "splint" the valgrind source code.)

John Carter                             Phone : (64)(3) 358 6639
Tait Electronics                        Fax   : (64)(3) 359 4632
PO Box 1645 Christchurch                Email : john.carter at tait.co.nz
New Zealand

The universe is absolutely plastered with the dashed lines exactly one
space long.