Messages in this thread | | | Date | Fri, 6 Jul 2018 07:49:18 +0200 (CEST) | From | Julia Lawall <> | Subject | Re: [PATCH] checkpatch: Add warnings for use of mdelay() |
| |
On Thu, 5 Jul 2018, Dan Carpenter wrote:
> Neither Smatch nor Coccinelle do a good job tracking when you're in > atomic context. I've wanted to add this to Smatch but even then it > would be to warn that "We're holding a spinlock so we can't sleep". > It's trickier to say for sure when you're not holding a lock...
Jia-Ju Bai is working on this. The tool is available on github. It's still being improved, though, so perhaps it's not yet ready for eg 0-day inclusion. He can give more details.
julia
| |