svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

[svadev] string literals

From: Matthew Wala <wala1 AT illinois.edu>
To: svadev AT cs.uiuc.edu
Subject: [svadev] string literals
Date: Sat, 5 Mar 2011 14:43:59 -0600
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
List-id: <svadev.cs.uiuc.edu>

It seems that SAFECode silently allows you to modify string literals,
even when the intended memory operation segfaults the original
program.
Shouldn't this be considered a memory safety error?

[svadev] string literals, Matthew Wala, 03/05/2011
- Re: [svadev] string literals, John Criswell, 03/05/2011
  - Re: [svadev] string literals, Adve, Vikram Sadanand, 03/06/2011