Comment by aborsy

Will there be ways in the foreseeable future to prove that software is free of vulnerabilities (using formal proofs and similar)?

Because with all these vulnerabilities hidden in piles of code, the situation sounds hopeless.