X-Authentication-Warning: delorie.com: mail set sender to djgpp-bounces using -f
From: Cesar Rabak <crabak AT acm DOT org>
Newsgroups: comp.os.msdos.djgpp
Subject: Re: strange error
Date: Sat, 24 Jul 2004 21:39:51 -0300
Lines: 40
Message-ID: <41030157.10002@acm.org>
References: <2mc7omFl9vr1U1 AT uni-berlin DOT de> <20040724013419 DOT 16860 DOT 00001362 AT mb-m20 DOT aol DOT com> <2met6hFmd866U1 AT uni-berlin DOT de> <41026818 DOT 6040104 AT acm DOT org> <2mfmljFmgk1fU1 AT uni-berlin DOT de>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: news.uni-berlin.de in0tWhv5MIDnGTFWQ3Lb/woqvK8hnG3B8W4QC63ACT6iPoAW4=
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; pt-BR; rv:1.0.2) Gecko/20030208 Netscape/7.02
X-Accept-Language: pt-br, pt
To: djgpp AT delorie DOT com
DJ-Gateway: from newsgroup comp.os.msdos.djgpp
Reply-To: djgpp AT delorie DOT com

Hans-Bernhard Broeker escreveu:
> Cesar Rabak <crabak AT acm DOT org> wrote:
> 
> 
>>IIRC, be checkergcc or MSS, a similar package known to work with DJGPP, 
>>only work on allocated memory ('malloced') and do not monitor index 
>>values for static arrays.
> 
> 
> That's true for MSS, but not for checker-gcc.  That one does (or
> should I say "did" ? I seem to remember it's not been kept up with gcc
> development) quite a bit more than that. 

The first part would be arousing but with the second part of story no 
more. . .

Thanks for the info.

> It does full blown array
> bounds checking, pointer validation, system call parameter sanity
> checking, and then some.  It essentially creates a program that
> executes the C code on a kind of simulated CPU, so it can check every
> memory access before it's done.
> 

Yes. When I thought at how could a tool do something on this area I 
arrived at a similar scheme, which seemed to me complex.

Perhaps that's the reason the tool did not keep up, and I surmise, the 
reason the port to other platforms, including the focus of this NG, be 
difficult.

In the other hand, if one is willing to use a language with this 
feature, can use Ada which has port for DJGPP as well.

Regards,

--
Cesar Rabak