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