linux-kernel - [PATCH] xen: hypercall: fix out-of-bounds memcpy

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives
Hash Suite: Windows password security audit tool. GUI, reports in PDF.
[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Date:   Fri,  2 Feb 2018 16:32:31 +0100
From:   Arnd Bergmann <arnd@...db.de>
To:     Boris Ostrovsky <boris.ostrovsky@...cle.com>,
        Juergen Gross <jgross@...e.com>
Cc:     Nicolas Pitre <nico@...aro.org>, Andi Kleen <ak@...ux.intel.com>,
        Dan Carpenter <dan.carpenter@...cle.com>,
        Jan Beulich <jbeulich@...e.com>, Arnd Bergmann <arnd@...db.de>,
        xen-devel@...ts.xenproject.org, linux-kernel@...r.kernel.org
Subject: [PATCH] xen: hypercall: fix out-of-bounds memcpy

The legacy hypercall handlers were originally added with
a comment explaining that "copying the argument structures in
HYPERVISOR_event_channel_op() and HYPERVISOR_physdev_op() into the local
variable is sufficiently safe" and only made sure to not write
past the end of the argument structure, the checks in linux/string.h
disagree with that, when link-time optimizations are used:

In function 'memcpy',
    inlined from 'pirq_query_unmask' at drivers/xen/fallback.c:53:2,
    inlined from '__startup_pirq' at drivers/xen/events/events_base.c:529:2,
    inlined from 'restore_pirqs' at drivers/xen/events/events_base.c:1439:3,
    inlined from 'xen_irq_resume' at drivers/xen/events/events_base.c:1581:2:
include/linux/string.h:350:3: error: call to '__read_overflow2' declared with attribute error: detected read beyond size of object passed as 2nd parameter
   __read_overflow2();
   ^
make[3]: *** [ccLujFNx.ltrans15.ltrans.o] Error 1
make[3]: Target 'all' not remade because of errors.
lto-wrapper: fatal error: make returned 2 exit status
compilation terminated.
ld: error: lto-wrapper failed

This changes the functions so that each argument is accessed with
exactly the correct length based on the command code.

Fixes: cf47a83fb06e ("xen/hypercall: fix hypercall fallback code for very old hypervisors")
Signed-off-by: Arnd Bergmann <arnd@...db.de>
---
 drivers/xen/fallback.c | 94 ++++++++++++++++++++++++++++----------------------
 1 file changed, 53 insertions(+), 41 deletions(-)

diff --git a/drivers/xen/fallback.c b/drivers/xen/fallback.c
index b04fb64c5a91..eded8dd821ad 100644
--- a/drivers/xen/fallback.c
+++ b/drivers/xen/fallback.c
@@ -7,75 +7,87 @@
 
 int xen_event_channel_op_compat(int cmd, void *arg)
 {
-	struct evtchn_op op;
+	struct evtchn_op op = { .cmd = cmd, };
+	size_t len;
 	int rc;
 
-	op.cmd = cmd;
-	memcpy(&op.u, arg, sizeof(op.u));
-	rc = _hypercall1(int, event_channel_op_compat, &op);
-
 	switch (cmd) {
+	case EVTCHNOP_bind_interdomain:
+		len = sizeof(struct evtchn_bind_interdomain);
+		break;
+	case EVTCHNOP_bind_virq:
+		len = sizeof(struct evtchn_bind_virq);
+		break;
+	case EVTCHNOP_bind_pirq:
+		len = sizeof(struct evtchn_bind_pirq);
+		break;
 	case EVTCHNOP_close:
+		len = sizeof(struct evtchn_close);
+		break;
 	case EVTCHNOP_send:
+		len = sizeof(struct evtchn_send);
+		break;
+	case EVTCHNOP_alloc_unbound:
+		len = sizeof(struct evtchn_alloc_unbound);
+		break;
+	case EVTCHNOP_bind_ipi:
+		len = sizeof(struct evtchn_bind_ipi);
+		break;
+	case EVTCHNOP_status:
+		len = sizeof(struct evtchn_status);
+		break;
 	case EVTCHNOP_bind_vcpu:
+		len = sizeof(struct evtchn_bind_vcpu);
+		break;
 	case EVTCHNOP_unmask:
-		/* no output */
+		len = sizeof(struct evtchn_unmask);
 		break;
-
-#define COPY_BACK(eop) \
-	case EVTCHNOP_##eop: \
-		memcpy(arg, &op.u.eop, sizeof(op.u.eop)); \
-		break
-
-	COPY_BACK(bind_interdomain);
-	COPY_BACK(bind_virq);
-	COPY_BACK(bind_pirq);
-	COPY_BACK(status);
-	COPY_BACK(alloc_unbound);
-	COPY_BACK(bind_ipi);
-#undef COPY_BACK
-
 	default:
-		WARN_ON(rc != -ENOSYS);
-		break;
+		return -ENOSYS;
 	}
 
+	memcpy(&op.u, arg, len);
+	rc = _hypercall1(int, event_channel_op_compat, &op);
+	memcpy(arg, &op.u, len);
+
 	return rc;
 }
 EXPORT_SYMBOL_GPL(xen_event_channel_op_compat);
 
 int xen_physdev_op_compat(int cmd, void *arg)
 {
-	struct physdev_op op;
+	struct physdev_op op = { .cmd = cmd, };
+	size_t len;
 	int rc;
 
-	op.cmd = cmd;
-	memcpy(&op.u, arg, sizeof(op.u));
-	rc = _hypercall1(int, physdev_op_compat, &op);
-
 	switch (cmd) {
 	case PHYSDEVOP_IRQ_UNMASK_NOTIFY:
+		len = 0;
+		break;
+	case PHYSDEVOP_irq_status_query:
+		len = sizeof(struct physdev_irq_status_query);
+		break;
 	case PHYSDEVOP_set_iopl:
+		len = sizeof(struct physdev_set_iopl);
+		break;
 	case PHYSDEVOP_set_iobitmap:
+		len = sizeof(struct physdev_set_iobitmap);
+		break;
+	case PHYSDEVOP_apic_read:
 	case PHYSDEVOP_apic_write:
-		/* no output */
+		len = sizeof(struct physdev_apic);
 		break;
-
-#define COPY_BACK(pop, fld) \
-	case PHYSDEVOP_##pop: \
-		memcpy(arg, &op.u.fld, sizeof(op.u.fld)); \
-		break
-
-	COPY_BACK(irq_status_query, irq_status_query);
-	COPY_BACK(apic_read, apic_op);
-	COPY_BACK(ASSIGN_VECTOR, irq_op);
-#undef COPY_BACK
-
-	default:
-		WARN_ON(rc != -ENOSYS);
+	case PHYSDEVOP_ASSIGN_VECTOR:
+		len = sizeof(struct physdev_irq);
 		break;
+	default:
+		return -ENOSYS;
 	}
 
+	memcpy(&op.u, arg, len);
+	rc = _hypercall1(int, physdev_op_compat, &op);
+	memcpy(arg, &op.u, len);
+
 	return rc;
 }
 EXPORT_SYMBOL_GPL(xen_physdev_op_compat);
-- 
2.9.0