Mail Archives: djgpp/2004/07/24/20:45:46
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
- Raw text -