Re: Formal semantics for C

On 27-Dec-2001, Corky Cartwright <cork@rice.edu> wrote:
> According to the sanitized semantics that
> maps all unsafe operations to "undefined", none of these security
> breaches can possibly happen

Why do you say that?

If you're talking about the semantics which maps programs that
execute unsafe operations to the universal set of all possible
behaviours, then your claim that this semantics says that these
security breaches can't happen seems obviously false to me.

Fergus Henderson <fjh@cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.

Follow-Ups: References: