Cyclone: el dialecto de C contra los errores

Este lenguaje de programación afirma ser tan parecido a C como es posible al tiempoque evita los comportamientos inseguros. Los creadores del lenguaje de programación afirman haber ”logrado seguridad al tiempo que permanece compatible con C”. Entre las características principales del lenguaje destacan el sencillo mantenimiento de la interoperabilidad con C al no cambiar la representación de los datos o llamadas a las convenciones. El suministro de la gestión de memoria basada en la región, la utilización de una combinación de tipo de información y comprobaciones en tiempo real para evitar violaciones de límites de array y envoltura de la librería estándar C con las comprobaciones necesarias. Cyclone también suministra características modernas par la programación apropiada: uniones etiquetadas, enlace de rutas, polimorfismo paramétrico, excepciones, … El lenguaje de programación se puede utilizar en sistemas x86 Linux y sobre Windows que utiliza Cygwin (versión 1.3.2). Sobre otras plataformas su funcionamiento es incierto, aunque ha funcionado bien sobre Irix, BSD y Solaris. Cyclone es un producto conjunto de AT&T Labs Research y el grupo de Greg Morrisett de la Universidad de Cornell.