On Tue, 2023-08-01 at 10:55 -0700, Brian Norris wrote: > Do you actually run this driver on anything, or are you just compile > testing / running static analysis? Short answer: compile testing and static analysis. Long answer: this is not just me, and an overall picture is far more interesting. ISPRAS (https://www.ispras.ru/en) manages a sophisticated static analysis tool. Running over Linux kernel sources, this tool produces a lot (I don't know exactly, but probably tens of thousands) warnings about possibly unsafe and/or incorrect code. These warnings should be investigated and, after filtering out irrelevant, false positive etc. cases, some of them may (and should) be fixed. This work is distributed among more than 30 companies, has its own (not too tight but still) schedule, and it's not always easy to incorporate it into the regular workflows of a kernel communities. As for the the rest of your comments, I'll try to address them in an incoming v3. And of course great thanks for your reviews. Dmitry
