- 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.
- Links To Paper
- 1st Link
- Bibtex format
- @InProceedings{EDI-INF-RR-1051,
- 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},
- book title = {USENIX Annual Technical Conference},
- year = 2002,
- month = {Jun},
- pages = {275-288},
- url = {http://www.usenix.org/events/usenix02/full_papers/jim/jim_html/index.html},
- }
|