[splint-discuss] Execution Question.
john.carter at tait.co.nz
Tue Sep 28 17:02:30 EDT 2004
For memory allocation woes, in a somewhat different category, namely run
time memory use checking, the "valgrind" program from
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
The universe is absolutely plastered with the dashed lines exactly one
More information about the splint-discuss