TY  - RPRT
TI  - Vulnerability Abundance: A formal proof of infinite vulnerabilities in code
AU  - Eireann Leverett
AU  - Jeroen van der Ham-de Vos
PY  - 2026
UR  - https://arxiv.org/abs/2604.07539
ID  - 2604.07539
ER  -