Según afirman los investigadores, un programa escrito en C puede tener una serie de problemas que son difíciles de predecir y pueden hacer que no funcione de manera conveniente pero también, puede dejar puertas abiertas en los PC´s para que se cuelen por ellas intrusos con malas intenciones. La novedad que presenta Cyclone es que su compilador capaz de identificar los segmentos de código que pueden dar lugar a agujeros de seguridad en los programas, gracias al análisis del propósito del código.

El concepto de Cyclone, para sus desarrolladores, consiste en tomar aquellas buenas ideas de seguridad usadas en los idiomas más elevados y aplicarlas a un sistema de programación más bajo. Se trata de reflejar esto en una aplicación escrita en C y el compilador Cyclone encontrará los errores en el código que se genere. Entonces, según apunta Greg Morrisett, investigador de la Universidad de Cornell, el compilador volverá a escribir el código o pedirá las modificaciones que evitarán problemas potenciales durante el uso del programa generado Si por alguna razón aparece un error, el código hará que la aplicación se detenga evitando la caída del sistema.

Hasta el momento, los científicos han programado un servidor web muy simple que se supone inmune a los fallos que amenazan la estabilidad de los actuales. La meta de sus responsables está en conseguir un entorno similar al del sistema operativo Linux pero construido con Cyclone. Los avances que a partir de ahora consigan, los presentarán en la conferencia sobre lenguajes de programación, diseño e implementación que tendrá lugar el próximo mes de junio en Alemania.