USENIX 2002 Annual Conference - Technical Program Abstract
Cyclone: A safe dialect of C
Trevor Jim, AT&T Labs Research; Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney, Yanling Wang, Cornell University
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.
- View the full text of this paper in
HTML and
PDF.
The Proceedings are published as a collective work, © 2002 by the USENIX Association. All Rights Reserved. Rights
to individual papers remain with the author or the author's employer.
Permission is granted for the noncommercial reproduction of the complete
work for educational or research purposes. USENIX acknowledges all
trademarks within this paper.
- If you need the latest Adobe Acrobat Reader, you can download it from Adobe's site.
- To become a USENIX Member, please see our Membership Information.
|