Cyclone (programming language)

Cyclone is a dialect of the C programming language, which has different security mechanisms with which the occurrence of buffer overflow and format string vulnerabilities can largely be prevented. This was developed in a cooperation of AT & T Labs Research and Cornell University.