No, and to claim as much is simple laziness. It is possible to write provably correct code. Even if you don&#x27;t want to go full formally verified, you can eliminate large categories of possible errors with a relatively small amount of proof.<p>None of which removes the need to write simple, understandable code without undocumented magic. But we should not be throwing up our hands and treating invalid accesses, memory safety failures, buffer overflows, SQL injection, XSS, or a whole host of common failures as inevitable. It really is possible to do a lot better than most programs and a lot better than C.