Cyclone: A Safe Dialect of C Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney, and Yanling Wang. USENIX Annual Technical Conference, Monterey, CA, 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://www.research.att.com/projects/cyclone/papers/cyclone-safety.ps http://www.research.att.com/projects/cyclone/papers/cyclone-safety.pdf http://www.research.att.com/projects/cyclone/papers/cyclone-safety.dvi -- Elias Levy SecurityFocus http://www.securityfocus.com/ Si vis pacem, para bellum
This archive was generated by hypermail 2b30 : Fri May 24 2002 - 13:45:29 PDT