News for hackers. Stuff that matters.

A comment on An EPYC escape: Case-study of a KVM breakout. Parent comment

Re:An EPYC escape: Case-study of a KVM breakout by tptacek on Tuesday June 29, 2021 @05:03PM (#27681704)
A unit test isn't going to spot a bug like this, nor would a pre-written integration test. The kernel is extensively fuzzed.
[ Parent | on HN ]
Re:An EPYC escape: Case-study of a KVM breakout by pas on Tuesday June 29, 2021 @07:24PM (#27683053)
What methods/techniques/processes would have caught this? What's the most cost effective of those? (Are those even the right questions?)
[ Parent | on HN ]
Re:An EPYC escape: Case-study of a KVM breakout by wbl on Wednesday June 30, 2021 @12:31AM (#27684885)
Formal verification assuming you can even specify the problem well enough.
[ Parent | on HN ]
Re:An EPYC escape: Case-study of a KVM breakout by ylyn on Tuesday June 29, 2021 @08:59PM (#27683721)
Fuzzing is probably the most likely, but even then..
[ Parent | on HN ]