News for hackers. Stuff that matters.

A comment on QEMU Advent Calendar: A surprise disk image each day until Christmas. Parent comment

Re:QEMU Advent Calendar: A surprise disk image each day unti... by AnthonBerg on Monday December 03, 2018 @08:47AM (#18588676)
It is unknown. It might be unknowable.
[ Parent | on HN ]
Re:QEMU Advent Calendar: A surprise disk image each day unti... by AnthonBerg on Tuesday December 04, 2018 @05:32PM (#18604170)
Due to a couple downvotes I want to explain by way of a question: Can it to your knowledge be proven that QEMU is fully secure?

Given that bugs which have been found in it previously have been fixed, can we know from now on that it’s 100% safe?

As far as I know there does not exist a way of rigorously proving that.

fwiw my interest in theoretical computers and formal verification based on this fundamental aspect.

[ Parent | on HN ]