package/spice/0002-Prevent-integer-overflows-in-capability-checks.patch

   1 From f66dc643635518e53dfbe5262f814a64eec54e4a Mon Sep 17 00:00:00 2001
   2 From: Frediano Ziglio <fziglio@redhat.com>
   3 Date: Tue, 13 Dec 2016 14:40:10 +0000
   4 Subject: [PATCH] Prevent integer overflows in capability checks
   5
   6 The limits for capabilities are specified using 32 bit unsigned integers.
   7 This could cause possible integer overflows causing buffer overflows.
   8 For instance the sum of num_common_caps and num_caps can be 0 avoiding
   9 additional checks.
  10 As the link message is now capped to 4096 and the capabilities are
  11 contained in the link message limit the capabilities to 1024
  12 (capabilities are expressed in number of uint32_t items).
  13
  14 [Peter: fixes CVE-2016-9578]
  15 Signed-off-by: Frediano Ziglio <fziglio@redhat.com>
  16 Acked-by: Christophe Fergeau <cfergeau@redhat.com>
  17 Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
  18 ---
  19  server/reds.c | 8 ++++++++
  20  1 file changed, 8 insertions(+)
  21
  22 diff --git a/server/reds.c b/server/reds.c
  23 index 86a33d53..91504544 100644
  24 --- a/server/reds.c
  25 +++ b/server/reds.c
  26 @@ -2110,6 +2110,14 @@ static void reds_handle_read_link_done(void *opaque)
  27      link_mess->num_channel_caps = GUINT32_FROM_LE(link_mess->num_channel_caps);
  28      link_mess->num_common_caps = GUINT32_FROM_LE(link_mess->num_common_caps);
  29
  30 +    /* Prevent DoS. Currently we defined only 13 capabilities,
  31 +     * I expect 1024 to be valid for quite a lot time */
  32 +    if (link_mess->num_channel_caps > 1024 || link_mess->num_common_caps > 1024) {
  33 +        reds_send_link_error(link, SPICE_LINK_ERR_INVALID_DATA);
  34 +        reds_link_free(link);
  35 +        return;
  36 +    }
  37 +
  38      num_caps = link_mess->num_common_caps + link_mess->num_channel_caps;
  39      caps = (uint32_t *)((uint8_t *)link_mess + link_mess->caps_offset);
  40
  41 --
  42 2.11.0
  43