Finding driver bugs with DR. CHECKER
Finding driver bugs with DR. CHECKER
Posted Sep 19, 2017 7:45 UTC (Tue) by montjoie (subscriber, #110115)In reply to: Finding driver bugs with DR. CHECKER by mfuzzey
Parent article: Finding driver bugs with DR. CHECKER
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.
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.