From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=0.5 required=5.0 tests=BAYES_00, PP_MIME_FAKE_ASCII_TEXT,REPLYTO_WITHOUT_TO_CC,T_FILL_THIS_FORM_SHORT autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 103376,6ac8f960b3e80ee1 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-02-07 10:17:15 PST Path: archiver1.google.com!news1.google.com!sn-xit-02!sn-xit-06!sn-xit-08!supernews.com!freenix!wanadoo.fr!not-for-mail From: "Jean-Claude Mahieux" Newsgroups: comp.lang.ada Subject: Re: use JGNAT for memory debugging? Date: Fri, 7 Feb 2003 19:22:26 +0100 Organization: Top Graph'X Message-ID: References: <3e40b4ae$0$344$bed64819@news.gradwell.net> Reply-To: "Jean-Claude Mahieux" NNTP-Posting-Host: aste-genev-bois-104-1-2-37.abo.wanadoo.fr X-Trace: news-reader12.wanadoo.fr 1044641834 24044 80.11.230.37 (7 Feb 2003 18:17:14 GMT) X-Complaints-To: abuse@wanadoo.fr NNTP-Posting-Date: 7 Feb 2003 18:17:14 GMT X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2600.0000 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000 Xref: archiver1.google.com comp.lang.ada:33894 Date: 2003-02-07T18:17:14+00:00 List-Id: 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" 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.