diff options
| author | Kees Cook <keescook@chromium.org> | 2023-09-15 13:03:16 -0700 |
|---|---|---|
| committer | Kees Cook <keescook@chromium.org> | 2023-10-02 09:48:52 -0700 |
| commit | 150849c5e2630ddf29411bb5334a548cc10d4814 (patch) | |
| tree | 9396a630da92c7c6a984555b836f378bc1e424b3 /drivers/md | |
| parent | 182717026e2c8e6cc3b5757f601c3fee15f64ecb (diff) | |
| download | lwn-150849c5e2630ddf29411bb5334a548cc10d4814.tar.gz lwn-150849c5e2630ddf29411bb5334a548cc10d4814.zip | |
drbd: Annotate struct fifo_buffer 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 fifo_buffer.
[1] https://github.com/kees/kernel-tools/blob/trunk/coccinelle/examples/counted_by.cocci
Cc: Philipp Reisner <philipp.reisner@linbit.com>
Cc: Lars Ellenberg <lars.ellenberg@linbit.com>
Cc: Christoph Böhmwalder <christoph.boehmwalder@linbit.com>
Cc: Jens Axboe <axboe@kernel.dk>
Cc: drbd-dev@lists.linbit.com
Cc: linux-block@vger.kernel.org
Reviewed-by: "Gustavo A. R. Silva" <gustavoars@kernel.org>
Link: https://lore.kernel.org/r/20230915200316.never.707-kees@kernel.org
Signed-off-by: Kees Cook <keescook@chromium.org>
Diffstat (limited to 'drivers/md')
0 files changed, 0 insertions, 0 deletions