A GCed language wouldn't be safe from the kinds of bugs exhibited in the OP, all it takes is a bug in the runtime.