Any code that is certain that it doesn't have any vulnerabilities is going to be pretty trivial to verify.