xfrm: Annotate struct xfrm_sec_ctx with __counted_by
authorKees Cook <keescook@chromium.org>
Tue, 3 Oct 2023 23:18:28 +0000 (16:18 -0700)
committerSteffen Klassert <steffen.klassert@secunet.com>
Thu, 5 Oct 2023 06:18:19 +0000 (08:18 +0200)
commit1d495f1c896cfa8c78e7a858119e2fbfcbd0925e
tree7fda6f8da2830c719e24bd8959adaad66d5942cc
parent5fa4704d14b29ca59e80212e0a067b0c83b42d42
xfrm: Annotate struct xfrm_sec_ctx with __counted_by

Prepare for the coming implementation by GCC and Clang of the __counted_by
attribute. Flexible array members annotated with __counted_by can have
their accesses bounds-checked at run-time via CONFIG_UBSAN_BOUNDS (for
array indexing) and CONFIG_FORTIFY_SOURCE (for strcpy/memcpy-family
functions).

As found with Coccinelle[1], add __counted_by for struct xfrm_sec_ctx.

Cc: Steffen Klassert <steffen.klassert@secunet.com>
Cc: Herbert Xu <herbert@gondor.apana.org.au>
Cc: "David S. Miller" <davem@davemloft.net>
Cc: netdev@vger.kernel.org
Link: https://github.com/kees/kernel-tools/blob/trunk/coccinelle/examples/counted_by.cocci
Signed-off-by: Kees Cook <keescook@chromium.org>
Reviewed-by: Gustavo A. R. Silva <gustavoars@kernel.org>
Signed-off-by: Steffen Klassert <steffen.klassert@secunet.com>
include/uapi/linux/xfrm.h