DescriptionThis category is on Cyclone, a C dialect, based partly on Cornell University's Popcorn safe C-like assembly language, part of their Typed Assembly Language (TAL) project. Cyclone is type-safe like Java, Scheme, and ML; and polymorphic. It gives C's low level speed and control of data representation and memory management, but is far safer, preventing writing programs with buffer overflows, dangling pointers, format string attacks, etc. It is easy to port or interface with legacy C code.
DescriptionThis category is on Cyclone, a C dialect, based partly on Cornell University's Popcorn safe C-like assembly language, part of their Typed Assembly Language (TAL) project. Cyclone is type-safe like Java, Scheme, and ML; and polymorphic. It gives C's low level speed and control of data representation and memory management, but is far safer, preventing writing programs with buffer overflows, dangling pointers, format string attacks, etc. It is easy to port or interface with legacy C code.
Cyclone
- Hybrid Resource Control of Active Extensions (Site) - 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 (Site) - Overlay distribution network, for distributed streaming data services, to meet user-specified Quality of Service (QOS) criteria. Servers coded in Cyclone.
- Open Kernel Environment: OKE (Site) - Lets users, other than root, load native, fully optimised code into the extensible secure kernel. Coded in Cyclone.
- Cyclone (Site) - 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.
- Hybrid Resource Control of Active Extensions (Site) - 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 (Site) - Overlay distribution network, for distributed streaming data services, to meet user-specified Quality of Service (QOS) criteria. Servers coded in Cyclone.
- Open Kernel Environment: OKE (Site) - Lets users, other than root, load native, fully optimised code into the extensible secure kernel. Coded in Cyclone.
- Cyclone (Site) - 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.
- New Cyclone Programming Language: Bugs be Gone () - 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]
- The Open Kernel Environment () - Brief, very clear summary of OKE, explains its essence in different way than official website. [Computer Science Daily News]
- C with Safety: Cyclone () - Forum system with much debate, many interesting and useful posts, some nonsense. Begins debate via New Scientist Cyclone article. [Slashdot]
- 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]
- 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]
Last update: 2008-05-05 14:47:16 Cyclone | Copyright 2008 HubHip.com