On Thu, 6 Feb 2025 at 19:17, Marco Elver wrote:
[...]
> Capability analysis is a C language extension, which enables statically
> checking that user-definable "capabilities" are acquired and released where
> required. An obvious application is lock-safety checking for the kernel's
> various synchr
[ Note: Bart and I had concurrently been working on bringing Clang's
-Wthread-safety to the kernel:
https://lore.kernel.org/all/20250206175114.1974171-1-bvanass...@acm.org/
Having both RFCs out should hopefully provide a good picture on these
design points and trade-offs - the approaches
