linux-kernel - [GIT PULL] 'at_least' array sizes for 6.19

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [day] [month] [year] [list]

Message-ID: <20251130025006.GE12664@sol>
Date: Sat, 29 Nov 2025 18:50:06 -0800
From: Eric Biggers <ebiggers@...nel.org>
To: Linus Torvalds <torvalds@...ux-foundation.org>
Cc: linux-crypto@...r.kernel.org, linux-kernel@...r.kernel.org,
	linux-hardening@...r.kernel.org, Ard Biesheuvel <ardb@...nel.org>,
	"Jason A. Donenfeld" <Jason@...c4.com>,
	Herbert Xu <herbert@...dor.apana.org.au>,
	Miri Korenblit <miriam.rachel.korenblit@...el.com>,
	Kees Cook <kees@...nel.org>
Subject: [GIT PULL] 'at_least' array sizes for 6.19

The following changes since commit dcb6fa37fd7bc9c3d2b066329b0d27dedf8becaa:

  Linux 6.18-rc3 (2025-10-26 15:59:49 -0700)

are available in the Git repository at:

  https://git.kernel.org/pub/scm/linux/kernel/git/ebiggers/linux.git tags/libcrypto-at-least-for-linus

for you to fetch changes up to 4f0382b0901b43552b600f8e5f806295778b0fb0:

  lib/crypto: sha2: Add at_least decoration to fixed-size array params (2025-11-23 12:19:47 -0800)

----------------------------------------------------------------

C supports lower bounds on the sizes of array parameters, using the
static keyword as follows: 'void f(int a[static 32]);'. This allows
the compiler to warn about a too-small array being passed.

As discussed, this reuse of the 'static' keyword, while standard, is a
bit obscure. Therefore, add an alias 'at_least' to compiler_types.h.

Then, add this 'at_least' annotation to the array parameters of
various crypto library functions.

----------------------------------------------------------------
Eric Biggers (6):
      lib/crypto: chacha: Add at_least decoration to fixed-size array params
      lib/crypto: curve25519: Add at_least decoration to fixed-size array params
      lib/crypto: md5: Add at_least decoration to fixed-size array params
      lib/crypto: poly1305: Add at_least decoration to fixed-size array params
      lib/crypto: sha1: Add at_least decoration to fixed-size array params
      lib/crypto: sha2: Add at_least decoration to fixed-size array params

Jason A. Donenfeld (3):
      wifi: iwlwifi: trans: rename at_least variable to min_mode
      compiler_types: introduce at_least parameter decoration pseudo keyword
      lib/crypto: chacha20poly1305: Statically check fixed array lengths

 drivers/net/wireless/intel/iwlwifi/iwl-trans.c |  8 ++--
 include/crypto/chacha.h                        | 12 +++---
 include/crypto/chacha20poly1305.h              | 19 ++++-----
 include/crypto/curve25519.h                    | 24 +++++++-----
 include/crypto/md5.h                           | 11 +++---
 include/crypto/poly1305.h                      |  2 +-
 include/crypto/sha1.h                          | 12 +++---
 include/crypto/sha2.h                          | 53 +++++++++++++++-----------
 include/linux/compiler_types.h                 | 15 ++++++++
 lib/crypto/chacha20poly1305.c                  | 18 ++++-----
 10 files changed, 103 insertions(+), 71 deletions(-)