Cyclone: A Safe Dialect of C

Trevor Jim, J. Greg Morrisett, Dan Grossman, Michael W. Hicks, James Cheney, Yanling Wang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
Original languageEnglish
Title of host publicationProceedings of the General Track of the Annual Conference on USENIX Annual Technical Conference
Place of PublicationBerkeley, CA, USA
PublisherUSENIX Association
Pages275-288
Number of pages14
ISBN (Print)1-880446-00-6
Publication statusPublished - 2002

Publication series

NameATEC '02
PublisherUSENIX Association

Fingerprint

Dive into the research topics of 'Cyclone: A Safe Dialect of C'. Together they form a unique fingerprint.

Cite this