Marc-André Lureau 091d37
From f0d4faae8258385338bc1ec252250454346b7ef7 Mon Sep 17 00:00:00 2001
Marc-André Lureau 091d37
From: =?UTF-8?q?Marc-Andr=C3=A9=20Lureau?= <marcandre.lureau@redhat.com>
Marc-André Lureau 091d37
Date: Fri, 4 Jun 2021 19:25:28 +0400
Marc-André Lureau 091d37
Subject: [PATCH 2/7] bootp: limit vendor-specific area to input packet memory
Marc-André Lureau 091d37
 buffer
Marc-André Lureau 091d37
MIME-Version: 1.0
Marc-André Lureau 091d37
Content-Type: text/plain; charset=UTF-8
Marc-André Lureau 091d37
Content-Transfer-Encoding: 8bit
Marc-André Lureau 091d37
Marc-André Lureau 091d37
sizeof(bootp_t) currently holds DHCP_OPT_LEN. Remove this optional field
Marc-André Lureau 091d37
from the structure, to help with the following patch checking for
Marc-André Lureau 091d37
minimal header size. Modify the bootp_reply() function to take the
Marc-André Lureau 091d37
buffer boundaries and avoiding potential buffer overflow.
Marc-André Lureau 091d37
Marc-André Lureau 091d37
Related to CVE-2021-3592.
Marc-André Lureau 091d37
Marc-André Lureau 091d37
https://gitlab.freedesktop.org/slirp/libslirp/-/issues/44
Marc-André Lureau 091d37
Marc-André Lureau 091d37
Signed-off-by: Marc-André Lureau <marcandre.lureau@redhat.com>
Marc-André Lureau 091d37
(cherry picked from commit f13cad45b25d92760bb0ad67bec0300a4d7d5275)
Marc-André Lureau 091d37
---
Marc-André Lureau 091d37
 src/bootp.c | 26 +++++++++++++++-----------
Marc-André Lureau 091d37
 src/bootp.h |  2 +-
Marc-André Lureau 091d37
 src/mbuf.c  |  5 +++++
Marc-André Lureau 091d37
 src/mbuf.h  |  1 +
Marc-André Lureau 091d37
 4 files changed, 22 insertions(+), 12 deletions(-)
Marc-André Lureau 091d37
Marc-André Lureau 091d37
diff --git a/src/bootp.c b/src/bootp.c
Marc-André Lureau 091d37
index 46e9681..e0db8d1 100644
Marc-André Lureau 091d37
--- a/src/bootp.c
Marc-André Lureau 091d37
+++ b/src/bootp.c
Marc-André Lureau 091d37
@@ -92,21 +92,22 @@ found:
Marc-André Lureau 091d37
     return bc;
Marc-André Lureau 091d37
 }
Marc-André Lureau 091d37
 
Marc-André Lureau 091d37
-static void dhcp_decode(const struct bootp_t *bp, int *pmsg_type,
Marc-André Lureau 091d37
+static void dhcp_decode(const struct bootp_t *bp,
Marc-André Lureau 091d37
+                        const uint8_t *bp_end,
Marc-André Lureau 091d37
+                        int *pmsg_type,
Marc-André Lureau 091d37
                         struct in_addr *preq_addr)
Marc-André Lureau 091d37
 {
Marc-André Lureau 091d37
-    const uint8_t *p, *p_end;
Marc-André Lureau 091d37
+    const uint8_t *p;
Marc-André Lureau 091d37
     int len, tag;
Marc-André Lureau 091d37
 
Marc-André Lureau 091d37
     *pmsg_type = 0;
Marc-André Lureau 091d37
     preq_addr->s_addr = htonl(0L);
Marc-André Lureau 091d37
 
Marc-André Lureau 091d37
     p = bp->bp_vend;
Marc-André Lureau 091d37
-    p_end = p + DHCP_OPT_LEN;
Marc-André Lureau 091d37
     if (memcmp(p, rfc1533_cookie, 4) != 0)
Marc-André Lureau 091d37
         return;
Marc-André Lureau 091d37
     p += 4;
Marc-André Lureau 091d37
-    while (p < p_end) {
Marc-André Lureau 091d37
+    while (p < bp_end) {
Marc-André Lureau 091d37
         tag = p[0];
Marc-André Lureau 091d37
         if (tag == RFC1533_PAD) {
Marc-André Lureau 091d37
             p++;
Marc-André Lureau 091d37
@@ -114,10 +115,10 @@ static void dhcp_decode(const struct bootp_t *bp, int *pmsg_type,
Marc-André Lureau 091d37
             break;
Marc-André Lureau 091d37
         } else {
Marc-André Lureau 091d37
             p++;
Marc-André Lureau 091d37
-            if (p >= p_end)
Marc-André Lureau 091d37
+            if (p >= bp_end)
Marc-André Lureau 091d37
                 break;
Marc-André Lureau 091d37
             len = *p++;
Marc-André Lureau 091d37
-            if (p + len > p_end) {
Marc-André Lureau 091d37
+            if (p + len > bp_end) {
Marc-André Lureau 091d37
                 break;
Marc-André Lureau 091d37
             }
Marc-André Lureau 091d37
             DPRINTF("dhcp: tag=%d len=%d\n", tag, len);
Marc-André Lureau 091d37
@@ -144,7 +145,9 @@ static void dhcp_decode(const struct bootp_t *bp, int *pmsg_type,
Marc-André Lureau 091d37
     }
Marc-André Lureau 091d37
 }
Marc-André Lureau 091d37
 
Marc-André Lureau 091d37
-static void bootp_reply(Slirp *slirp, const struct bootp_t *bp)
Marc-André Lureau 091d37
+static void bootp_reply(Slirp *slirp,
Marc-André Lureau 091d37
+                        const struct bootp_t *bp,
Marc-André Lureau 091d37
+                        const uint8_t *bp_end)
Marc-André Lureau 091d37
 {
Marc-André Lureau 091d37
     BOOTPClient *bc = NULL;
Marc-André Lureau 091d37
     struct mbuf *m;
Marc-André Lureau 091d37
@@ -157,7 +160,7 @@ static void bootp_reply(Slirp *slirp, const struct bootp_t *bp)
Marc-André Lureau 091d37
     uint8_t client_ethaddr[ETH_ALEN];
Marc-André Lureau 091d37
 
Marc-André Lureau 091d37
     /* extract exact DHCP msg type */
Marc-André Lureau 091d37
-    dhcp_decode(bp, &dhcp_msg_type, &preq_addr);
Marc-André Lureau 091d37
+    dhcp_decode(bp, bp_end, &dhcp_msg_type, &preq_addr);
Marc-André Lureau 091d37
     DPRINTF("bootp packet op=%d msgtype=%d", bp->bp_op, dhcp_msg_type);
Marc-André Lureau 091d37
     if (preq_addr.s_addr != htonl(0L))
Marc-André Lureau 091d37
         DPRINTF(" req_addr=%08" PRIx32 "\n", ntohl(preq_addr.s_addr));
Marc-André Lureau 091d37
@@ -179,9 +182,10 @@ static void bootp_reply(Slirp *slirp, const struct bootp_t *bp)
Marc-André Lureau 091d37
         return;
Marc-André Lureau 091d37
     }
Marc-André Lureau 091d37
     m->m_data += IF_MAXLINKHDR;
Marc-André Lureau 091d37
+    m_inc(m, sizeof(struct bootp_t) + DHCP_OPT_LEN);
Marc-André Lureau 091d37
     rbp = (struct bootp_t *)m->m_data;
Marc-André Lureau 091d37
     m->m_data += sizeof(struct udpiphdr);
Marc-André Lureau 091d37
-    memset(rbp, 0, sizeof(struct bootp_t));
Marc-André Lureau 091d37
+    memset(rbp, 0, sizeof(struct bootp_t) + DHCP_OPT_LEN);
Marc-André Lureau 091d37
 
Marc-André Lureau 091d37
     if (dhcp_msg_type == DHCPDISCOVER) {
Marc-André Lureau 091d37
         if (preq_addr.s_addr != htonl(0L)) {
Marc-André Lureau 091d37
@@ -235,7 +239,7 @@ static void bootp_reply(Slirp *slirp, const struct bootp_t *bp)
Marc-André Lureau 091d37
     rbp->bp_siaddr = saddr.sin_addr; /* Server IP address */
Marc-André Lureau 091d37
 
Marc-André Lureau 091d37
     q = rbp->bp_vend;
Marc-André Lureau 091d37
-    end = (uint8_t *)&rbp[1];
Marc-André Lureau 091d37
+    end = rbp->bp_vend + DHCP_OPT_LEN;
Marc-André Lureau 091d37
     memcpy(q, rfc1533_cookie, 4);
Marc-André Lureau 091d37
     q += 4;
Marc-André Lureau 091d37
 
Marc-André Lureau 091d37
@@ -364,6 +368,6 @@ void bootp_input(struct mbuf *m)
Marc-André Lureau 091d37
     struct bootp_t *bp = mtod(m, struct bootp_t *);
Marc-André Lureau 091d37
 
Marc-André Lureau 091d37
     if (bp->bp_op == BOOTP_REQUEST) {
Marc-André Lureau 091d37
-        bootp_reply(m->slirp, bp);
Marc-André Lureau 091d37
+        bootp_reply(m->slirp, bp, m_end(m));
Marc-André Lureau 091d37
     }
Marc-André Lureau 091d37
 }
Marc-André Lureau 091d37
diff --git a/src/bootp.h b/src/bootp.h
Marc-André Lureau 091d37
index a57fa51..31ce5fd 100644
Marc-André Lureau 091d37
--- a/src/bootp.h
Marc-André Lureau 091d37
+++ b/src/bootp.h
Marc-André Lureau 091d37
@@ -114,7 +114,7 @@ struct bootp_t {
Marc-André Lureau 091d37
     uint8_t bp_hwaddr[16];
Marc-André Lureau 091d37
     uint8_t bp_sname[64];
Marc-André Lureau 091d37
     char bp_file[128];
Marc-André Lureau 091d37
-    uint8_t bp_vend[DHCP_OPT_LEN];
Marc-André Lureau 091d37
+    uint8_t bp_vend[];
Marc-André Lureau 091d37
 };
Marc-André Lureau 091d37
 
Marc-André Lureau 091d37
 typedef struct {
Marc-André Lureau 091d37
diff --git a/src/mbuf.c b/src/mbuf.c
Marc-André Lureau 091d37
index cb2e971..0c1a530 100644
Marc-André Lureau 091d37
--- a/src/mbuf.c
Marc-André Lureau 091d37
+++ b/src/mbuf.c
Marc-André Lureau 091d37
@@ -233,3 +233,8 @@ void *mtod_check(struct mbuf *m, size_t len)
Marc-André Lureau 091d37
 
Marc-André Lureau 091d37
     return NULL;
Marc-André Lureau 091d37
 }
Marc-André Lureau 091d37
+
Marc-André Lureau 091d37
+void *m_end(struct mbuf *m)
Marc-André Lureau 091d37
+{
Marc-André Lureau 091d37
+    return m->m_data + m->m_len;
Marc-André Lureau 091d37
+}
Marc-André Lureau 091d37
diff --git a/src/mbuf.h b/src/mbuf.h
Marc-André Lureau 091d37
index 2015e32..a9752a3 100644
Marc-André Lureau 091d37
--- a/src/mbuf.h
Marc-André Lureau 091d37
+++ b/src/mbuf.h
Marc-André Lureau 091d37
@@ -119,6 +119,7 @@ void m_adj(struct mbuf *, int);
Marc-André Lureau 091d37
 int m_copy(struct mbuf *, struct mbuf *, int, int);
Marc-André Lureau 091d37
 struct mbuf *dtom(Slirp *, void *);
Marc-André Lureau 091d37
 void *mtod_check(struct mbuf *, size_t len);
Marc-André Lureau 091d37
+void *m_end(struct mbuf *);
Marc-André Lureau 091d37
 
Marc-André Lureau 091d37
 static inline void ifs_init(struct mbuf *ifm)
Marc-André Lureau 091d37
 {
Marc-André Lureau 091d37
-- 
Marc-André Lureau 091d37
2.29.0
Marc-André Lureau 091d37