Cyclone
Website: cyclone.thelanguage.org
Designed by: AT&T Labs
The Cyclone programming language is intended to be a safe dialect of the C language.
Cyclone is designed to avoid buffer overflows and other vulnerabilities that are possible in C programs, without losing the power and convenience of C as a tool for system programming.
Cyclone development was started as a joint project of AT&T Labs Research and Greg Morrisett’s group at Cornell University in 2001.
Version 1.0 was released on May 8, 2006.