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.