Re: [RESEND PATCH v2] params: Annotate struct module_param_attrs with __counted_by()

From: Thorsten Blum
Date: Tue Feb 04 2025 - 11:45:42 EST


On 14. Jan 2025, at 22:49, Thorsten Blum wrote:
> Add the __counted_by compiler attribute to the flexible array member
> attrs to improve access bounds-checking via CONFIG_UBSAN_BOUNDS and
> CONFIG_FORTIFY_SOURCE.
>
> Increment num before adding a new param_attribute to the attrs array and
> adjust the array index accordingly. Increment num immediately after the
> first reallocation such that the reallocation for the NULL terminator
> only needs to add 1 (instead of 2) to mk->mp->num.
>
> Use struct_size() instead of manually calculating the size for the
> reallocation.
>
> Use krealloc_array() for the additional NULL terminator.

Hi, could someone please take another look at this?

It was already applied to modules-next in August 2024, but dropped
shortly after because of a Clang issue:

https://lore.kernel.org/all/20241029140036.577804-1-kernel@xxxxxxxx

The Clang issue has been fixed for a while and this patch could be
applied again.

Thanks,
Thorsten