C with Safety: Cyclone - http://slashdot.org/developers/01/11/16/1757251.shtml
Forum system with much debate, many interesting and useful posts, some nonsense. Begins debate via New Scientist Cyclone article. [Slashdot] |
Cyclone - http://cyclone.thelanguage.org/
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. |
Cyclone Blows Away the Bugs for Programmers - http://software.silicon.com/os/0,39024651,11029327,00.htm
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] |
Cyclone Blows Computer Bugs Out of Code - http://www.newscientist.com/article.ns?id=dn1578
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] |
Hybrid Resource Control of Active Extensions - http://www.cs.utah.edu/flux/papers/hybrid-openarch03-base.html
Combines dynamic and static checking; an extension of Click modular router, customized for active networking in Janos active network OS. Coded in Cyclone. Downloads: paper in PDF, Postscript gzip; slides in PDF, PowerPoint. |
MediaNet - http://www.cs.umd.edu/projects/medianet/
Overlay distribution network, for distributed streaming data services, to meet user-specified Quality of Service (QOS) criteria. Servers coded in Cyclone. |
New Cyclone Programming Language: Bugs be Gone - http://www.windowsitpro.com/Article/ArticleID/23262/23262.html
Cornell University, AT&T Labs develop C variant far harder for authors to make bugs in when programming; data representation, calling conventions interoperable with C styles, which simplifies porting. [Security Administrator] |
Open Kernel Environment: OKE - http://www.liacs.nl/~herbertb/projects/oke/
Lets users, other than root, load native, fully optimised code into the extensible secure kernel. Coded in Cyclone. |
The Open Kernel Environment - http://www.csdaily.com/article.pl?sid=04/03/06/0838255
Brief, very clear summary of OKE, explains its essence in different way than official website. [Computer Science Daily News] |