Re: [PATCH v2] media: dvb_demux: fix potential TOCTOU race conditions

[Markus Elfring]

…
> Fix this by extending the lock scope.
…

How do you think about to increase the application of scope-based resource management?
https://elixir.bootlin.com/linux/v6.19-rc5/source/include/linux/mutex.h#L253


> This possible bug was found by our experimental static analysis tool,
> which analyzes lock usage to detect TOCTOU issues.

* Do you refer to any other source code analysis approach than LR-Miner?

* Will any additional background information become more helpful here?


Regards,
Markus