New Scientist has an article on a "safer" version of the C programming language.
The language Cyclone is being created by a team of computer scientists at Cornell University and AT&T Labs in New York. Cyclone is a redesigned version of the programming language C, which is currently used to create many applications for different types of computers.
Cyclone is designed to make almost impossible the inclusion of major bugs that force software vendors to release software patches and can lead to security breaches.
I downloaded, compiled and installed it, but haven't read or looked at the docs yet. Something else to play with. ;D
You can download a copy here: