Original link: To kill memory safety bugs in C code, try the TrapC fork / TheRegister.
The sales pitch:
resembles C/C++ code... ... pointers cannot produce segfaults, buffer overruns, or memory leaks ... link compatible with Clacks an "unsafe" keyword
(I don't understand why they call it a fork)