From b25ccac372f3289d7b0b5500064fe0a38eb32d6f Mon Sep 17 00:00:00 2001 From: Xiao Wang Date: Wed, 8 Aug 2018 08:44:36 +0200 Subject: [PATCH 4/4] slirp: Correct size check in m_inc() RH-Author: Xiao Wang Message-id: <1533717876-2330-1-git-send-email-jasowang@redhat.com> Patchwork-id: 81676 O-Subject: [RHEL-7.6/7.5z qemu-kvm PATCH] slirp: Correct size check in m_inc() Bugzilla: 1586253 RH-Acked-by: Dr. David Alan Gilbert RH-Acked-by: wexu@redhat.com RH-Acked-by: Thomas Huth From: Peter Maydell Notes: - Conflict since we lacks 6da5de1ee87e ("slirp: reformat m_inc routine"), and its backport has various other dependicies. - This is a fixup for CVE-2018-11806 fix The data in an mbuf buffer is not necessarily at the start of the allocated buffer. (For instance m_adj() allows data to be trimmed from the start by just advancing the pointer and reducing the length.) This means that the allocated buffer size (m->m_size) and the amount of space from the m_data pointer to the end of the buffer (M_ROOM(m)) are not necessarily the same. Commit 864036e251f54c9 tried to change the m_inc() function from taking the new allocated-buffer-size to taking the new room-size, but forgot to change the initial "do we already have enough space" check. This meant that if we were trying to extend a buffer which had a leading gap between the buffer start and the data, we might incorrectly decide it didn't need to be extended, and then overrun the end of the buffer, causing memory corruption and an eventual crash. Change the "already big enough?" condition from checking the argument against m->m_size to checking against M_ROOM(). This only makes a difference for the callsite in m_cat(); the other three callsites all start with a freshly allocated mbuf from m_get(), which will have m->m_size == M_ROOM(m). Fixes: 864036e251f54c9 Fixes: https://bugs.launchpad.net/qemu/+bug/1785670 Signed-off-by: Peter Maydell Reviewed-by: Samuel Thibault Message-id: 20180807114501.12370-1-peter.maydell@linaro.org Tested-by: Dr. David Alan Gilbert (cherry picked from commit c22098c74a09164797fae6511c5eaf68f32c4dd8) Signed-off-by: Jason Wang Signed-off-by: Miroslav Rezanina --- slirp/mbuf.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/slirp/mbuf.c b/slirp/mbuf.c index ced2033..63f071f 100644 --- a/slirp/mbuf.c +++ b/slirp/mbuf.c @@ -154,8 +154,10 @@ m_inc(struct mbuf *m, int size) { int datasize; - /* some compiles throw up on gotos. This one we can fake. */ - if(m->m_size>size) return; + /* some compilers throw up on gotos. This one we can fake. */ + if (M_ROOM(m) > size) { + return; + } if (m->m_flags & M_EXT) { datasize = m->m_data - m->m_ext; -- 1.8.3.1