diff options
| author | Kees Cook <keescook@chromium.org> | 2023-09-22 10:53:45 -0700 |
|---|---|---|
| committer | Dipen Patel <dipenp@nvidia.com> | 2023-10-03 13:18:39 -0700 |
| commit | d484366854f535fa25a863a575c5b6a86f4f4bdc (patch) | |
| tree | c300d20edce712bd63a20273cc84f90124098151 /drivers/hte | |
| parent | 0bb80ecc33a8fb5a682236443c1e740d5c917d1d (diff) | |
| download | linux-d484366854f535fa25a863a575c5b6a86f4f4bdc.tar.gz | |
hte: Annotate struct hte_device 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 hte_device.
[1] https://github.com/kees/kernel-tools/blob/trunk/coccinelle/examples/counted_by.cocci
Cc: Dipen Patel <dipenp@nvidia.com>
Cc: timestamp@lists.linux.dev
Signed-off-by: Kees Cook <keescook@chromium.org>
Reviewed-by: Gustavo A. R. Silva <gustavoars@kernel.org>
Reviewed-by: Dipen Patel <dipenp@nvidia.com>
Reviewed-by: Justin Stitt <justinstitt@google.com>
Signed-off-by: Dipen Patel <dipenp@nvidia.com>
Diffstat (limited to 'drivers/hte')
| -rw-r--r-- | drivers/hte/hte.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/drivers/hte/hte.c b/drivers/hte/hte.c index 598a716b7364c1..1fd8d2d4528bcc 100644 --- a/drivers/hte/hte.c +++ b/drivers/hte/hte.c @@ -88,7 +88,7 @@ struct hte_device { struct list_head list; struct hte_chip *chip; struct module *owner; - struct hte_ts_info ei[]; + struct hte_ts_info ei[] __counted_by(nlines); }; #ifdef CONFIG_DEBUG_FS |