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.
[ .pdf ]
@INPROCEEDINGS{JimMGHCW02,
AUTHOR = {Trevor Jim and Greg Morrisett and Dan Grossman and Michael Hicks and James Cheney and Yanling Wang},
TITLE = {{C}yclone: A Safe Dialect of {C}},
BOOKTITLE = {Proceedings of the {USENIX} Annual Technical Conference},
MONTH = {June},
WHERE = {Monterey, CA},
PAGES = {275--288},
YEAR = 2002,
PUBLISHER = {{USENIX}}
}