You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
36 lines
1.3 KiB
36 lines
1.3 KiB
4 years ago
|
From 57c6e6b00247ad289a27648213d7ad2306fe3931 Mon Sep 17 00:00:00 2001
|
||
|
From: Frediano Ziglio <freddy77@gmail.com>
|
||
|
Date: Thu, 30 Apr 2020 10:19:09 +0100
|
||
|
Subject: [PATCH spice-common 4/4] quic: Avoid possible buffer overflow in
|
||
|
find_bucket
|
||
|
|
||
|
Proved by fuzzing the code.
|
||
|
|
||
|
Signed-off-by: Frediano Ziglio <freddy77@gmail.com>
|
||
|
Acked-by: Uri Lublin <uril@redhat.com>
|
||
|
---
|
||
|
common/quic_family_tmpl.c | 7 ++++++-
|
||
|
1 file changed, 6 insertions(+), 1 deletion(-)
|
||
|
|
||
|
diff --git a/subprojects/spice-common/common/quic_family_tmpl.c b/subprojects/spice-common/common/quic_family_tmpl.c
|
||
|
index 8a5f7d2..6cc051b 100644
|
||
|
--- a/subprojects/spice-common/common/quic_family_tmpl.c
|
||
|
+++ b/subprojects/spice-common/common/quic_family_tmpl.c
|
||
|
@@ -103,7 +103,12 @@ static s_bucket *FNAME(find_bucket)(Channel *channel, const unsigned int val)
|
||
|
spice_assert(val < (0x1U << BPC));
|
||
|
}
|
||
|
|
||
|
- return channel->_buckets_ptrs[val];
|
||
|
+ /* The and (&) here is to avoid buffer overflows in case of garbage or malicious
|
||
|
+ * attempts. Is much faster then using comparisons and save us from such situations.
|
||
|
+ * Note that on normal build the check above won't be compiled as this code path
|
||
|
+ * is pretty hot and would cause speed regressions.
|
||
|
+ */
|
||
|
+ return channel->_buckets_ptrs[val & ((1U << BPC) - 1)];
|
||
|
}
|
||
|
|
||
|
#undef FNAME
|
||
|
--
|
||
|
2.25.4
|
||
|
|