• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Cyclone: A safe dialect of C

Cached

  • Download as a PDF
  •  
  • Download as a PS

Download Links

  • [www.eecs.harvard.edu]
  • [www.bennetyee.org]
  • [www.bennetyee.org]
  • [www.cs.cornell.edu]
  • [www.cs.cornell.edu]
  • [www.cs.cornell.edu]
  • [www.cs.cornell.edu]
  • [www.research.att.com]
  • [www.cs.umd.edu]
  • [www.ssrc.ucsc.edu]
  • [www.utdallas.edu]
  • [www.eecs.harvard.edu]

  • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Trevor Jim , Greg Morrisett , Dan Grossman , Michael Hicks , James Cheney , Yanling Wang
Citations:274 - 23 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Jim_cyclone:a,
    author = {Trevor Jim and Greg Morrisett and Dan Grossman and Michael Hicks and James Cheney and Yanling Wang},
    title = {Cyclone: A safe dialect of C},
    year = {}
}

Years of Citing Articles

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

OpenURL

 

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.

Citations

1497 The Definition of Standard ML - Milner, Tofte, et al. - 1990
781 The Art of Computer Systems Performance Analysis - Jain - 1991
407 Stackguard: Automatic adaptive detection and prevention of buffer-overflow attacks - Cowan, Pu, et al.
348 S.K.: Automatic predicate abstraction of C programs 36(5 - Ball, Majumdar, et al. - 2001
348 Automatically validating temporal safety properties of interfaces - Ball, Rajamani - 2001
315 Checking System rules using System-specific, Programmer-written Compiler Extensions - Engler, Chelf, et al. - 2000
286 CCured: Type-safe retrofitting of legacy code - Necula, McPeak, et al. - 2002
245 Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code - Engler, Chen, et al. - 2001
242 A static analyzer for finding dynamic programming errors. Software—Practice and Experience - Bush, Pincus, et al. - 2000
195 Efficient detection of all pointer and array access errors - Austin, Breach, et al. - 1994
182 Detecting format string vulnerabilities with type qualifiers - SHANKAR, TALWAR, et al. - 2001
164 Region-based memory management in Cyclone - Grossman, Morrisett, et al. - 2002
163 An Empirical Study of the Reliability of UNIX Utilities - Miller, Fredriksen, et al. - 1990
158 Statically detecting likely buffer overflow vulnerabilities - Larochelle, Evans - 2001
156 Transparent run-time defense against stack-smashing attacks - Baratloo, Singh, et al. - 2000
146 Static detection of dynamic memory errors - Evans - 1996
143 TALx86: A realistic typed assembly language - MORRISETT, CRARY, et al. - 1999
120 FormatGuard: Automatic protection from printf format string vulnerabilities - Cowan - 2001
72 An Empirical Study of the Robustness of Windows NT Applications Using Random Testing - Forrester, Miller, et al. - 2000
66 StackGhost: Hardware facilitated stack protection - Frantzen, Shuey - 2001
33 The exception handling effectiveness of POSIX operating systems - Koopman, DeVale
23 E cient detection of all pointer and array access errors - Austin, Breach, et al. - 1993
18 Checking system rules using system-speci c, programmerwritten compiler extensions - Engler, Chelf, et al. - 2000
12 Scalable certification for Typed Assembly Language - Grossman, Morrisett - 2000
8 Ccured: Type-safe retro of legacy code - Necula, McPeak, et al. - 2002
7 Remote Format String Stack Overwrite Vulnerability - Wu-Ftpd
5 Statically detecting likely buer over vulnerabilities - Larochelle, Evans - 2001
3 Performance evaluation of exception handling in I/O libraries - DeVale, Koopman - 2001
3 Scalable certi for typed assembly language - Grossman, Morrisett - 2000
2 Bounds checking projects. http://www.gnu.org/software/gcc/ projects/bp/main.html - McGary
2 A static analyzer for dynamic programming errors - Bush, Pincus, et al. - 2000
1 Denial-of-service attack via ping. Advisory CA–1996–26 - CERT - 1996
1 free bug in zlib compression library. Advisory CA–2002–07 - Double - 2002
1 Re: SuSE Linux 6.x 7.0 Ident buffer overflow. Bugtraq mailing list - Drahtmueller - 2000
1 gdm” remote hole. Bugtraq mailing list - Evans
1 Very interesting traceroute flaw. Bugtraq mailing list - Evans - 2000
1 Re: rpc.ttdbserverd on solaris 7. Bugtraq mailing list - Levy - 1999
1 Inside risks: The perils of port 80 - Somogyi, Schneier - 2001
1 Re: SuSE Linux 6.x 7.0 Ident buer over Bugtraq mailing list - Drahtmueller - 2000
1 Very interesting traceroute Bugtraq mailing list - Evans - 2000
1 The exception handling eectiveness of POSIX operating systems - Koopman, DeVale - 2000
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University