Cyclone
C dialect, based partly on Popcorn, type-safe, polymorphic, gives C control over data representation and memory management, but prevents buffer overflows, dangling pointers, and format string attacks. Description, documents, download.
url: www.cs.cornell.edu/projects/cyclone/
Will Software Development Get Hit by a Cyclone?
Treats advantages, drawbacks of Cyclone, focus: should one use it in programs? Introduces major benefits, examines new features, more so ones most significant to C programmers, covers ease of porting C code. [SecurityFocus]
url: www.securityfocus.com/guest/9094
Cyclone Blows Away the Bugs for Programmers
Cyclone is similar to the C language, but far more bug resistant because it forces code to be checked thoroughly before authors can finish programs, via its special compiler which rewrites code or suggest fixes. [silicon.com]
url: www.silicon.com/news/500011/1/1029327.html
Secure Future All at C
New strain of C language sinks bugs, US researchers working on project that may herald dawn of more secure OSs, free of many common glitches that hamper today's offerings. [vnunet.com]
url: www.vnunet.com/News/1126968
New Cyclone Programming Language: Bugs be Gone!
Cornell University, AT&T Labs developing language like C but far harder for authors to introduce bugs when programming; data representation, calling conventions interoperable with C styles, which simplifies porting. [Security Administrator]
url: www.ntsecurity.net/Articles/Index.cfm?ArticleID=23...
C with Safety: Cyclone
Forum system with much debate, many interesting and useful posts, some nonsense. Begins debate via New Scientist Cyclone article. [Slashdot]
url: slashdot.org/developers/01/11/16/1757251.shtml
Cyclone Blows Computer Bugs Out of Code
New computer language designed to avoid programming errors may prevent many security breaches, according to US computer scientists behind project, teams at Cornell University, AT&T Labs New York. [New Scientist]
url: www.newscientist.com/news/news.jsp?id=ns99991578
