Re: [PATCH] md/md-linear: Annotate struct linear_conf with __counted_by

2023-09-29 Thread Kees Cook
On Fri, Sep 29, 2023 at 04:40:13PM -0700, Song Liu wrote: > On Fri, Sep 29, 2023 at 12:21 PM Kees Cook wrote: > > > > On Fri, 15 Sep 2023 13:03:28 -0700, Kees Cook wrote: > > > Prepare for the coming implementation by GCC and Clang of the __counted_by > > > attribute. Flexible array members annota

Re: [PATCH] md/md-linear: Annotate struct linear_conf with __counted_by

2023-09-29 Thread Song Liu
On Fri, Sep 29, 2023 at 12:21 PM Kees Cook wrote: > > On Fri, 15 Sep 2023 13:03:28 -0700, Kees Cook wrote: > > 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

Re: [PATCH] md/md-linear: Annotate struct linear_conf with __counted_by

2023-09-29 Thread Kees Cook
On Fri, 15 Sep 2023 13:03:28 -0700, Kees Cook wrote: > 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 indexi

Re: [PATCH] md/md-linear: Annotate struct linear_conf with __counted_by

2023-09-22 Thread Song Liu
On Fri, Sep 15, 2023 at 1:27 PM Gustavo A. R. Silva wrote: > > > > On 9/15/23 14:03, Kees Cook wrote: > > 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-t