compiler_types: Introduce __counted_by_ptr()

From:		Kees Cook <kees-AT-kernel.org>
To:		Miguel Ojeda <ojeda-AT-kernel.org>
Subject:		[PATCH 0/3] compiler_types: Introduce __counted_by_ptr()
Date:		Mon, 20 Oct 2025 15:01:14 -0700
Message-ID:		<20251020220005.work.095-kees@kernel.org>
Cc:		Kees Cook <kees-AT-kernel.org>, Al Viro <viro-AT-zeniv.linux.org.uk>, Nathan Chancellor <nathan-AT-kernel.org>, Nick Desaulniers <nick.desaulniers+lkml-AT-gmail.com>, Bill Wendling <morbo-AT-google.com>, Justin Stitt <justinstitt-AT-google.com>, Peter Zijlstra <peterz-AT-infradead.org>, Marco Elver <elver-AT-google.com>, Przemek Kitszel <przemyslaw.kitszel-AT-intel.com>, Andrew Morton <akpm-AT-linux-foundation.org>, Masahiro Yamada <masahiroy-AT-kernel.org>, Christophe Leroy <christophe.leroy-AT-csgroup.eu>, Johannes Weiner <hannes-AT-cmpxchg.org>, Arnd Bergmann <arnd-AT-arndb.de>, Greg Kroah-Hartman <gregkh-AT-linuxfoundation.org>, Christian Brauner <brauner-AT-kernel.org>, Jan Kara <jack-AT-suse.cz>, Nicolas Schier <nicolas.schier-AT-linux.dev>, Shuah Khan <shuah-AT-kernel.org>, "Gustavo A. R. Silva" <gustavoars-AT-kernel.org>, Thomas Weißschuh <thomas.weissschuh-AT-linutronix.de>, Tamir Duberstein <tamird-AT-gmail.com>, Michael Kelley <mhklinux-AT-outlook.com>, kernel test robot <lkp-AT-intel.com>, Heiko Carstens <hca-AT-linux.ibm.com>, Uros Bizjak <ubizjak-AT-gmail.com>, Jan Hendrik Farr <kernel-AT-jfarr.cc>, Yafang Shao <laoar.shao-AT-gmail.com>, Marc Herbert <Marc.Herbert-AT-linux.intel.com>, Christopher Ferris <cferris-AT-google.com>, Jakub Kicinski <kuba-AT-kernel.org>, Alexander Lobakin <aleksander.lobakin-AT-intel.com>, Paolo Abeni <pabeni-AT-redhat.com>, Tejun Heo <tj-AT-kernel.org>, Jeff Xu <jeffxu-AT-chromium.org>, Michal Koutný <mkoutny-AT-suse.com>, Shakeel Butt <shakeel.butt-AT-linux.dev>, Randy Dunlap <rdunlap-AT-infradead.org>, Brian Gerst <brgerst-AT-gmail.com>, linux-kernel-AT-vger.kernel.org, llvm-AT-lists.linux.dev, linux-fsdevel-AT-vger.kernel.org, linux-kbuild-AT-vger.kernel.org, linux-kselftest-AT-vger.kernel.org, linux-hardening-AT-vger.kernel.org
Archive-link:		Article

Hi,

Add the __counted_by_ptr() macro for annotating pointer struct members
with the "counted_by" attribute. Add LKDTM test, and a first user.

-Kees

Kees Cook (3):
  compiler_types: Introduce __counted_by_ptr()
  lkdtm/bugs: Add __counted_by_ptr() test PTR_BOUNDS
  coredump: Use __counted_by_ptr for struct core_name::corename

 init/Kconfig                            | 11 +++
 Makefile                                |  4 ++
 include/linux/compiler_types.h          | 21 +++++-
 include/uapi/linux/stddef.h             |  4 ++
 drivers/misc/lkdtm/bugs.c               | 90 ++++++++++++++++++++++---
 fs/coredump.c                           |  8 +--
 tools/testing/selftests/lkdtm/tests.txt |  2 +
 7 files changed, 127 insertions(+), 13 deletions(-)

-- 
2.34.1