Cyclone: A Safe Dialect of C. Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney, and Yanling Wang. In Proceedings of the USENIX Annual Technical Conference, pages 275--288. USENIX, June 2002.

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.

[ http | .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}},
  http = {http://cyclone.thelanguage.org}
}

This file was generated by bibtex2html 1.99.