Code can exist without vulnerabilities. Verifiable proof exists. It is hard, but it is possible.