DMCA
Cyclone: A safe dialect of C
Cached
Download Links
- [www.eecs.harvard.edu]
- [www.bennetyee.org]
- [www.bennetyee.org]
- [www.cs.cornell.edu]
- [www.cs.cornell.edu]
- [www.cs.cornell.edu]
- [www.cs.cornell.edu]
- [www.research.att.com]
- [www.cs.umd.edu]
- [www.ssrc.ucsc.edu]
- [www.utdallas.edu]
- [www.eecs.harvard.edu]
- [www.utdallas.edu]
- [www.net-security.org]
- [www.utdallas.edu]
- [www.cs.washington.edu]
- [homes.cs.washington.edu]
- [homes.cs.washington.edu]
- DBLP
Other Repositories/Bibliography
by
Trevor Jim
,
Greg Morrisett
,
Dan Grossman
,
Michael Hicks
,
James Cheney
,
Yanling Wang
| Citations: | 401 - 24 self |
BibTeX
@MISC{Jim_cyclone:a,
author = {Trevor Jim and Greg Morrisett and Dan Grossman and Michael Hicks and James Cheney and Yanling Wang},
title = {Cyclone: A safe dialect of C},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Cyclone is a safe dialect of C. It has been designed from the ground up to prevent the buffer overflows, format string attacks, and memory management errors that are common in C programs, while retaining C's syntax and semantics. This paper examines safety violations enabled by C's design, and shows how Cyclone avoids them, without giving up C's hallmark control over low-level details such as data representation and memory management.
