To kill memory safety bugs in C code, try the TrapC fork | Dark Hacker News