Re: Purify/Insure++ (fwd)

[Daniel Veillard <ve...@rufus.w3.org>]

> 
> Does anyone have experience with it; I cannot get it
> to work on BSD.

  I'm fairly used to Insure++, was working like a charm on Linux
with libc5. I upgraded to glibc (redhat 5.0) and I'm unable to make
it work again. I sent a bug report to my reseller, seems that
Redhat 5.0 will be supported in the future, but when, and how expensive ...
  
  Otherwise there is Checker (check the linux code archives),
working on the same principle (code insertion ...) and I have heard
that they were integrating it in the new GCC/Egcs releases but I
couldn't find how to enable it. 

Daniel

> ---------- Forwarded message ----------
> Date: Wed, 14 Jan 1998 09:54:55 -0600
> From: Dan Nelson <dn...@emsphone.com>
> To: "Jordan K. Hubbard" <jk...@time.cdrom.com>
> Cc: hackers@FreeBSD.ORG, The Hermit Hacker <sc...@hub.org>
> Subject: Re: Purify/Insure++
> 
> In the last episode (Jan 13), Jordan K. Hubbard said:
> > > 	I guess this begs the question as to what they would consider a
> > > large enough market in order to do the port?  Same for pretty much
> > > any commercial port, how many ppl would have to commit to
> > > purchasing a copy to make it viable for them?
> > 
> > In other words, "Forget it."  If we want Insure or Purify in the free
> > software world, we're going to have to do our own versions and hope
> > that there aren't too many software patents on the process.
> 
> Not sure if this is in the same area of "debugging" tools or in a
> different niche, but I've had good results with the bounds-checking gcc
> patch to 2.7.2.  It slows down your program quite a bit when enabled,
> but does range and type checking on every variable, pointer, and array
> in your code.   Makes finding buffer-overflow bugs a no-brainer.
> 
> The code is for 2.7.2, but should build on 2.7.2.1 with minimal
> patching.  Wonder if the egcc people are thinking about a
> bounds-checking patch; would be a nice addition.
> 

-- 
Daniel.Veillard@w3.org | MIT/LCS   Room NE43-344 | Today's Bookmarks :
Tel : +1 617 253 5884  | 545 Technology Square   | Linux, WWW, Java,
Fax : +1 617 258 5999  | Cambridge, MA 02139 USA | badminton, Kaffe,
http://www.w3.org/People/W3Cpeople.html#Veillard | HTTP-NG and Amaya.