Finding driver bugs with DR. CHECKER

Posted Sep 10, 2017 18:29 UTC (Sun) by bmork (subscriber, #88411)
Parent article: Finding driver bugs with DR. CHECKER

> the fact that this bug exists in the driver of a popular mobile device, shows that it evaded both expert analysts and possibly existing bug-finding tools.

In which reality is that?