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.