Upstreaming
Upstreaming
Posted Sep 8, 2017 7:15 UTC (Fri) by epa (subscriber, #39769)Parent article: Finding driver bugs with DR. CHECKER
Is this tool actively maintained and with current users among kernel developers, or is it more of a one-off where the paper is published and then the researchers move on to a new problem? I note that it uses a moderately old version of LLVM with some patches for gcc compatibility -- are those patches being incorporated upstream?