Path: utzoo!attcan!uunet!husc6!mailrus!ames!ncar!umigw!steve
From: steve@umigw.MIAMI.EDU (steve emmerson)
Newsgroups: comp.lang.c
Subject: Re: Run-time Checks for C
Message-ID: <189@umigw.MIAMI.EDU>
Date: 18 Nov 88 23:25:47 GMT
References: <10113@umn-cs.CS.UMN.EDU>
Reply-To: steve@umigw.miami.edu (steve emmerson)
Organization: University of Miami
Lines: 14

In article <10113@umn-cs.CS.UMN.EDU> raghavan@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@umigw.miami.edu [128.116.10.1]
SPAN: miami::emmerson (host 3074::)      emmerson%miami.span@star.stanford.edu
UUCP: ...!ncar!umigw!steve               emmerson%miami.span@vlsi.jpl.nasa.gov
"Computers are like God in the Old Testament: lots of rules and no mercy"