From: Oliver Boehm <OBoehm@stgl.sel.alcatel.de>
To: Steve Dimig <dimigs@agcs.com>
Subject: Re: Lint-like program for C++ ...
Date: 1997/04/18
Date: 1997-04-18T00:00:00+00:00 [thread overview]
Message-ID: <33570C43.411F@stgl.sel.alcatel.de> (raw)
In-Reply-To: 3356B1EC.5957@agcs.com
Steve Dimig wrote:
>
> Hi -,
>
> Does anyone know of a Lint like program for C++. I was recently
> involved in debugging a memory corruption problem. After a week of
> inspection and recompilations, we found the problem was in overwriting
> the bounds of an array. This type of problem would have been caught
> with lint if our development language was C. Our language, however, is
> C++.
I don't know if Lint can find the overwriting the bounds of an array
because the array is often indexed by a variable.
Tools which may help you:
ProLint: Lint for C/C++ (www.pts.co.uk)
INSURE++: lint(C/C++) + memory monitor + coverage analysis
(www.fastcase.com)
Purify: memory checker
(www.pureatria.com)
Also there are some compiler on the markets which offers also
runtime checking (I think SPARCworks, ObjectCenter).
Oliver
------------------------------------------------v----------
Oliver Boehm OBoehm@stgl.sel.alcatel.de | No RISC -
boehm@ba-stuttgart.de | No FUN
------------------------------------------------^----------
next prev parent reply other threads:[~1997-04-18 0:00 UTC|newest]
Thread overview: 37+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-04-06 0:00 M$ to STRIKE again essoft
[not found] ` <3348FC2E.A8B@csolve.net>
1997-04-07 0:00 ` Catherine Rees Lay
1997-04-07 0:00 ` James Giles
1997-04-08 0:00 ` Michael Dodas
1997-04-07 0:00 ` Robert Dewar
1997-04-07 0:00 ` essoft
1997-04-08 0:00 ` Peter Seebach
1997-04-07 0:00 ` Mark Wilden
1997-04-12 0:00 ` Nick Roberts
1997-04-13 0:00 ` Bruce Rosner
1997-04-14 0:00 ` Deutscher
[not found] ` <3353A5E4.2FD4@sni.de>
1997-04-16 0:00 ` Tom Wheeley
1997-04-13 0:00 ` Dave Sharp
1997-04-16 0:00 ` Avi Cohen Stuart
1997-04-17 0:00 ` Best way to kill Microsoft (Re: M$ to STRIKE again...) Corey Minyard
1997-04-18 0:00 ` Kim Robert Blix
1997-04-18 0:00 ` S. Narasimh Reddy
1997-04-17 0:00 ` Da Borg
1997-04-18 0:00 ` Jay Lyerly
1997-04-18 0:00 ` Emilio Lopes
1997-04-18 0:00 ` M A
1997-04-18 0:00 ` Jose Miguel Perez
1997-04-18 0:00 ` Da Borg
1997-04-20 0:00 ` Robert Dewar
1997-04-21 0:00 ` Paul Oldham
1997-04-21 0:00 ` C.Pitz
1997-04-18 0:00 ` Alexander Lehmann
1997-04-18 0:00 ` kwm
[not found] ` <33555E64.2556@student.csi.cuny.edu>
1997-04-17 0:00 ` William Frye
1997-04-17 0:00 ` Lint-like program for C++ Steve Dimig
1997-04-17 0:00 ` Uwe Baemayr
1997-04-18 0:00 ` Chris Durand
1997-04-18 0:00 ` Oliver Boehm [this message]
1997-04-18 0:00 ` Robert Dewar
1997-04-21 0:00 ` James Youngman
1997-04-18 0:00 ` Best way to kill Microsoft (Re: M$ to STRIKE again...) Corey Minyard
1997-04-07 0:00 ` M$ to STRIKE again Steve Lionel
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox