Most software has no need to be held to such high standards. Very rarely is a bug going to actually hurt someone beyond some mild inconvenience. Where it matters, like in space shuttle code, it's done. This whole comment section is entirely overblown.