Finding driver bugs with DR. CHECKER

Posted Sep 11, 2017 9:51 UTC (Mon) by mfuzzey (subscriber, #57966)
Parent article: Finding driver bugs with DR. CHECKER

Has anyone run this on recent mainline kernels?

The paper only seems to mention various Android vendor kernels from mobile phones.

Finding driver bugs with DR. CHECKER

Posted Sep 19, 2017 7:45 UTC (Tue) by montjoie (subscriber, #110115) [Link]

I have tried to use it on linux-next.
Their build/setup is fragile and bad.
Requiring to build the kernel in j1 only for just generating a buildlog and after sed 's,gcc,llvm,' (and removing some flags) is bad.
The tool support only arm/arm64.
With some insistence (and ignoring segfaults and other errors), I finished to the last step.
And for the moment; I see nothing than false positive.