Yes, I'll claim that such programs do exist. But it's rather hard for a human to notice those; beware of survivorship bias. Having said that, I still support t

Yes, I'll claim that such programs do exist. But it's rather hard for a human to notice those; beware of survivorship bias. Having said that, I still support the sentiment that most code is buggy. It's futile to expect pervasive perfection.