[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-ID: <20241024111921.93105-1-dmantipov@yandex.ru>
Date: Thu, 24 Oct 2024 14:19:19 +0300
From: Dmitry Antipov <dmantipov@...dex.ru>
To: Jeff Johnson <jjohnson@...nel.org>
Cc: Kalle Valo <kvalo@...nel.org>,
Kees Cook <kees@...nel.org>,
"Gustavo A . R . Silva" <gustavoars@...nel.org>,
linux-wireless@...r.kernel.org,
linux-hardening@...r.kernel.org,
lvc-project@...uxtesting.org,
Dmitry Antipov <dmantipov@...dex.ru>
Subject: [PATCH v2 1/3] wifi: ath11k: annotate skb of struct ath11k_ce_ring with __counted_by
According to 'ath11k_ce_alloc_ring()', annotate flexible array
member 'skb' of 'struct ath11k_ce_ring' with '__counted_by()'
to improve runtime bounds checking when CONFIG_UBSAN_BOUNDS is
enabled. Compile tested only.
Signed-off-by: Dmitry Antipov <dmantipov@...dex.ru>
---
v2: add related comment in ath11k_ce_alloc_ring()
---
drivers/net/wireless/ath/ath11k/ce.c | 3 +++
drivers/net/wireless/ath/ath11k/ce.h | 2 +-
2 files changed, 4 insertions(+), 1 deletion(-)
diff --git a/drivers/net/wireless/ath/ath11k/ce.c b/drivers/net/wireless/ath/ath11k/ce.c
index e66e86bdec20..56d616a8506a 100644
--- a/drivers/net/wireless/ath/ath11k/ce.c
+++ b/drivers/net/wireless/ath/ath11k/ce.c
@@ -620,6 +620,9 @@ ath11k_ce_alloc_ring(struct ath11k_base *ab, int nentries, int desc_sz)
if (ce_ring == NULL)
return ERR_PTR(-ENOMEM);
+ /* Note nentries should be set before populating skb[],
+ * otherwise __counted_by() might raise false positives.
+ */
ce_ring->nentries = nentries;
ce_ring->nentries_mask = nentries - 1;
diff --git a/drivers/net/wireless/ath/ath11k/ce.h b/drivers/net/wireless/ath/ath11k/ce.h
index bcde2fcf02cf..9c54244970ce 100644
--- a/drivers/net/wireless/ath/ath11k/ce.h
+++ b/drivers/net/wireless/ath/ath11k/ce.h
@@ -162,7 +162,7 @@ struct ath11k_ce_ring {
u32 hal_ring_id;
/* keep last */
- struct sk_buff *skb[];
+ struct sk_buff *skb[] __counted_by(nentries);
};
struct ath11k_ce_pipe {
--
2.47.0
Powered by blists - more mailing lists