On 3. Mar 2025, at 19:44, Kees Cook wrote:
> On Mon, Mar 03, 2025 at 12:02:22AM +0100, Thorsten Blum wrote:
>> Convert mux_control_ops to a flexible array member at the end of the
>> mux_chip struct and add the __counted_by() compiler attribute to
>> improve access bounds-checking via CONFIG_UBSAN_BOUNDS and
>> CONFIG_FORTIFY_SOURCE.
>>
>> Use struct_size() to calculate the number of bytes to allocate for a new
>> mux chip and to remove the following Coccinelle/coccicheck warning:
>>
>> WARNING: Use struct_size
>>
>> Use size_add() to safely add any extra bytes.
>>
>> Compile-tested only.
>
> I believe this will fail at runtime. Note that sizeof_priv follows the
> allocation, so at the very least, you'd need to update:
>
> static inline void *mux_chip_priv(struct mux_chip *mux_chip)
> {
> return &mux_chip->mux[mux_chip->controllers];
> }
>
> to not use the mux array itself as a location reference because it will
> be seen as out of bounds.
Getting the address doesn't fail at runtime, does it? For this example
it works, but maybe I'm missing some compiler flag?
https://godbolt.org/z/qTEdqn9WW
Thanks,
Thorsten
