"Cyclone is a programming language that is as C-like as possible while preventing unsafe behavior (buffer overflows, dangling pointers, format string attacks, and so on)."

Cyclone: A Safe Dialect of C