comp.lang.ada
 help / color / mirror / Atom feed
From: "Jean-Claude Mahieux" <jeanclaude.mahieux@topgraphx.com>
Subject: Re: use JGNAT for memory debugging?
Date: Fri, 7 Feb 2003 19:22:26 +0100
Date: 2003-02-07T18:17:14+00:00	[thread overview]
Message-ID: <b20t7a$nfc$1@news-reader12.wanadoo.fr> (raw)
In-Reply-To: 3e40b4ae$0$344$bed64819@news.gradwell.net

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 961 bytes --]

you should probably use something like aprobe
(see http://www.ocsystems.com/)

--
Jean-Claude MAHIEUX
Top Graph'X Sales Manager
10 All�e de la Mare Jacob
91290 La Norville - FRANCE
Tel : +33 1 69 26 97 88
Fax : +33 1 69 26 97 89
Email : sales@topgraphx.com
URL : http://www.topgraphx.com
German Representative : orbriver-de@topgraphx.com
US Representative : sroliver@topgraphx.com

"Victor Porton" <porton@ex-code.com> a �crit dans le message de news:
3e40b4ae$0$344$bed64819@news.gradwell.net...
> I have a problem with an Ada program, which is possibly access to a
> dangling reference (e.g. after Unchecked_Deallocation).
>
> Do I guess rightly that JGNAT (as opposed to normal Gnat) will detect
> this problem for me? Is JGNAT free?
>
> In general how to find dereferencing dangling references in Ada? I
> would use an OO wrapper around accesses which would do reference
> counting (in debug mode), but living entirely without accesses seems
> bad.





      parent reply	other threads:[~2003-02-07 18:22 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-02-05  6:51 Idea: use JGNAT for memory debugging? Victor Porton
2003-02-05 10:32 ` Colin Paul Gloster
2003-02-05 12:12 ` Jeffrey Creem
2003-02-05 13:53 ` Victor Porton
2003-02-05 15:49 ` Idea: " Florian Weimer
2003-02-05 18:48 ` Stephen Leake
2003-02-06  2:00 ` Victor Porton
2003-02-07 18:22 ` Jean-Claude Mahieux [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox