>This essentially means they found more bugs in Linux because Linux has better tools to uncover subtle memory safety bugs.
Driver verifier has been part of Windows for 20+ years and detects memory overflows, underflows, use after free and whole bunch of other bad driver behavior specific to the Windows driver model.
I don't see any evidence in the paper that the authors knew about it, so it's possible more bugs can be found that way in Windows using their fuzzing tools
Driver verifier has been part of Windows for 20+ years and detects memory overflows, underflows, use after free and whole bunch of other bad driver behavior specific to the Windows driver model.
I don't see any evidence in the paper that the authors knew about it, so it's possible more bugs can be found that way in Windows using their fuzzing tools