On Thu, 6 Feb 2025 at 19:17, Marco Elver <elver@xxxxxxxxxx> 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 synchronization primitives (each of which represents a "capability"), > and checking that locking rules are not violated. [...] > This series is also available at this Git tree: https://web.git.kernel.org/pub/scm/linux/kernel/git/melver/linux.git/log/?h=cap-analysis/dev I'm planning to send a v2 soon (Clang just gained -Wthread-safety-pointer which I wanted to have committed before). Preview at the above tree. Thanks, -- Marco
