audit: Annotate struct audit_chunk with __counted_by
authorKees Cook <keescook@chromium.org>
Thu, 17 Aug 2023 20:35:02 +0000 (13:35 -0700)
committerPaul Moore <paul@paul-moore.com>
Tue, 12 Sep 2023 20:09:32 +0000 (16:09 -0400)
commit97f576eb38ae219a6fb337d13586d8acbf01d3f8
tree520239d8ecdd0fa68038220ba63d54859396ffc3
parent0bb80ecc33a8fb5a682236443c1e740d5c917d1d
audit: Annotate struct audit_chunk 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 checking 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 audit_chunk.

[1] https://github.com/kees/kernel-tools/blob/trunk/coccinelle/examples/counted_by.cocci

Cc: Paul Moore <paul@paul-moore.com>
Cc: Eric Paris <eparis@redhat.com>
Cc: audit@vger.kernel.org
Signed-off-by: Kees Cook <keescook@chromium.org>
Reviewed-by: "Gustavo A. R. Silva" <gustavoars@kernel.org>
Signed-off-by: Paul Moore <paul@paul-moore.com>
kernel/audit_tree.c