Patch Series

Subject Compiler-Based Capability- and Locking-Analysis
Author elver@google.com
Date 2025-09-18 13:59:12 +0000 UTC
Version 3
Cc arnd@arndb.de boqun.feng@gmail.com bvanassche@acm.org corbet@lwn.net davem@davemloft.net dvyukov@google.com edumazet@google.com elver@google.com frederic@kernel.org glider@google.com gregkh@linuxfoundation.org hch@lst.de herbert@gondor.apana.org.au irogers@google.com jannh@google.com joelagnelf@nvidia.com josh@joshtriplett.org justinstitt@google.com kasan-dev@googlegroups.com kees@kernel.org linux-crypto@vger.kernel.org linux-doc@vger.kernel.org linux-kbuild@vger.kernel.org linux-kernel@vger.kernel.org linux-mm@kvack.org linux-security-module@vger.kernel.org linux-sparse@vger.kernel.org llvm@lists.linux.dev longman@redhat.com luc.vanoostenryck@gmail.com lukas.bulwahn@gmail.com mark.rutland@arm.com mathieu.desnoyers@efficios.com mingo@kernel.org mingo@redhat.com morbo@google.com nathan@kernel.org neeraj.upadhyay@kernel.org nick.desaulniers@gmail.com ojeda@kernel.org paulmck@kernel.org penguin-kernel@i-love.sakura.ne.jp peterz@infradead.org rcu@vger.kernel.org rostedt@goodmis.org takedakn@nttdata.co.jp tglx@linutronix.de tgraf@suug.ch urezki@gmail.com will@kernel.org

Patches (35)

Name Content
[PATCH v3 01/35] compiler_types: Move lock checking attributes to compiler-capability-analysis.h [Body]
[PATCH v3 02/35] compiler-capability-analysis: Add infrastructure for Clang's capability analysis [Body]
[PATCH v3 03/35] compiler-capability-analysis: Add test stub [Body]
[PATCH v3 04/35] Documentation: Add documentation for Compiler-Based Capability Analysis [Body]
[PATCH v3 05/35] checkpatch: Warn about capability_unsafe() without comment [Body]
[PATCH v3 06/35] cleanup: Basic compatibility with capability analysis [Body]
[PATCH v3 07/35] lockdep: Annotate lockdep assertions for capability analysis [Body]
[PATCH v3 08/35] locking/rwlock, spinlock: Support Clang's capability analysis [Body]
[PATCH v3 09/35] compiler-capability-analysis: Change __cond_acquires to take return value [Body]
[PATCH v3 10/35] locking/mutex: Support Clang's capability analysis [Body]
[PATCH v3 11/35] locking/seqlock: Support Clang's capability analysis [Body]
[PATCH v3 12/35] bit_spinlock: Include missing <asm/processor.h> [Body]
[PATCH v3 13/35] bit_spinlock: Support Clang's capability analysis [Body]
[PATCH v3 14/35] rcu: Support Clang's capability analysis [Body]
[PATCH v3 15/35] srcu: Support Clang's capability analysis [Body]
[PATCH v3 16/35] kref: Add capability-analysis annotations [Body]
[PATCH v3 17/35] locking/rwsem: Support Clang's capability analysis [Body]
[PATCH v3 18/35] locking/local_lock: Include missing headers [Body]
[PATCH v3 19/35] locking/local_lock: Support Clang's capability analysis [Body]
[PATCH v3 20/35] locking/ww_mutex: Support Clang's capability analysis [Body]
[PATCH v3 21/35] debugfs: Make debugfs_cancellation a capability struct [Body]
[PATCH v3 22/35] compiler-capability-analysis: Remove Sparse support [Body]
[PATCH v3 23/35] compiler-capability-analysis: Remove __cond_lock() function-like helper [Body]
[PATCH v3 24/35] compiler-capability-analysis: Introduce header suppressions [Body]
[PATCH v3 25/35] compiler: Let data_race() imply disabled capability analysis [Body]
[PATCH v3 26/35] MAINTAINERS: Add entry for Capability Analysis [Body]
[PATCH v3 27/35] kfence: Enable capability analysis [Body]
[PATCH v3 28/35] kcov: Enable capability analysis [Body]
[PATCH v3 29/35] kcsan: Enable capability analysis [Body]
[PATCH v3 30/35] stackdepot: Enable capability analysis [Body]
[PATCH v3 31/35] rhashtable: Enable capability analysis [Body]
[PATCH v3 32/35] printk: Move locking annotation to printk.c [Body]
[PATCH v3 33/35] security/tomoyo: Enable capability analysis [Body]
[PATCH v3 34/35] crypto: Enable capability analysis [Body]
[PATCH v3 35/35] sched: Enable capability analysis for core.c and fair.c [Body]

Session 2025-09-18

ID (for dev) a3a2a7b0-bf2a-4aa4-81aa-1c288594c356
Status finished
Triaged OK [Log]
Execution Log [Link]
Test Base Patched Verdict
Build Base f83ec76bf285bea5727f478a68b894f5543ca76e [Config] passed [Log]
Build Patched f83ec76bf285bea5727f478a68b894f5543ca76e [Config] [patched] passed [Log]
Boot test: Base f83ec76bf285bea5727f478a68b894f5543ca76e [Config] passed
Boot test: Patched f83ec76bf285bea5727f478a68b894f5543ca76e [Config] [patched] failed
general protection fault in validate_page_before_insert [Log]