Re: [Question] Detecting Sleep-in-Atomic Context in PREEMPT_RT via RV (Runtime Verification) monitor rtapp:sleep

[Nam Cao]

> RV is not a static checker, it is a run-time checker.
>
> Just in case you are not aware yet, there is also Smatch:
> https://github.com/error27/smatch. But I can't offer much help there.

I was looking up something unrelated, and I found that Smatch does
detect this sleep-in-atomic problem:
https://staticthinking.wordpress.com/2024/05/24/sleeping-in-atomic-warnings/

I'm not sure if its design takes PREEMPT_RT into consideration. But
seems worth having a look.

Nam