Run-time Checks for C

[steve emmerson]

In article <10113 at umn-cs.CS.UMN.EDU> raghavan at umn-cs.cs.umn.edu (Vijay 
Raghavan) writes:
>
>(I mean I'm not sure that sufficient information can always be passed 
> to the compiler for it to generate code for meaningful run-time checks.) 
>
>   Comments?

In general, a pointer to garbage can easily masquerade as valid.
-- 
Steve Emmerson                     Inet: steve at umigw.miami.edu [128.116.10.1]
SPAN: miami::emmerson (host 3074::)      emmerson%miami.span at star.stanford.edu
UUCP: ...!ncar!umigw!steve               emmerson%miami.span at vlsi.jpl.nasa.gov
"Computers are like God in the Old Testament: lots of rules and no mercy"