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

Re: [leafnode-list] ma9rc1 fetchnews not fetching

Mike Castle wrote:
> On Wed, Jan 09, 2002 at 12:59:09AM +0100, Ralf Wildenhues wrote:
> > -       free(k);
> Hmmmm.... need to run against efence?  :->

Not really.  Using lclint/splint consequently would make most dynamic
checking obsolete, except for very tricky things.  This one would not
have happened at all if redblack.c were better documented or it had been
lclint'ed first.

With efence and other dynamic checkers, you will hardly run into
rare-circumstance errors.  But usually they are very helpful, too.
Except for example when I tried insure, it always reported spurious
errors in mergesort.c, where pointers and char are stored on the same
memory locations.  But insure just happens to overwrite uninitialized
pointers to some special value in order to trap dereferences.
Very funny. NOT.

leafnode-list@xxxxxxxxxxxxxxxxxxxxxxxxxxxx -- mailing list for leafnode
To unsubscribe, send mail with "unsubscribe" in the subject to the list