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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,6ac8f960b3e80ee1
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-02-05 02:32:07 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!proxad.net!freenix!deine.net!newsfeed.online.be!newsfeed.esat.net!feeder.news.heanet.ie!not-for-mail
Newsgroups: comp.lang.ada
From: Colin_Paul_Gloster@ACM.org (Colin Paul Gloster)
Subject: Re: Idea: use JGNAT for memory debugging?
References: <3e40b4ae$0$344$bed64819@news.gradwell.net>
Reply-To: Colin_Paul_Gloster@ACM.org
Message-ID: <slrnb41q16.hh8.Colin_Paul_Gloster@camac.dcu.ie>
User-Agent: slrn/0.9.7.0 (SunOS)
Organization: Dublin City University (DCU)
Cache-Post-Path: ns2-ext.dcu.ie!unknown@camac.dcu.ie
X-Cache: nntpcache 2.3.3 (see http://www.nntpcache.org/)
Date: 05 Feb 2003 10:32:06 GMT
NNTP-Posting-Date: 05 Feb 2003 10:32:06 GMT
NNTP-Posting-Host: 136.206.1.1
X-Trace: 1044441126 reader.news.heanet.ie 61620 [::ffff:136.206.1.1]:46413
Xref: archiver1.google.com comp.lang.ada:33803
Date: 2003-02-05T10:32:06+00:00
List-Id: <comp.lang.ada>

In news:3e40b4ae$0$344$bed64819@news.gradwell.net , Victor Porton wrote:
"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?"

I doubt it. JGNAT targets a Java Virtual Machine, so its output is
bytecode instead of real native machine code. What you give it is still
regular Ada code, though the JVM's behavior would probably include garbage
collection.

"Is JGNAT free?

[..]"

Yes, but no longer in development.