a056f39
From: Prasad J Pandit <pjp@fedoraproject.org>
a056f39
Date: Wed, 29 Nov 2017 23:14:27 +0530
a056f39
Subject: [PATCH] virtio: check VirtQueue Vring object is set
a056f39
a056f39
A guest could attempt to use an uninitialised VirtQueue object
a056f39
or unset Vring.align leading to a arithmetic exception. Add check
a056f39
to avoid it.
a056f39
a056f39
Reported-by: Zhangboxian <zhangboxian@huawei.com>
a056f39
Signed-off-by: Prasad J Pandit <pjp@fedoraproject.org>
a056f39
Reviewed-by: Michael S. Tsirkin <mst@redhat.com>
a056f39
Signed-off-by: Michael S. Tsirkin <mst@redhat.com>
a056f39
Reviewed-by: Stefan Hajnoczi <stefanha@redhat.com>
a056f39
Reviewed-by: Cornelia Huck <cohuck@redhat.com>
a056f39
(cherry picked from commit 758ead31c7e17bf17a9ef2e0ca1c3e86ab296b43)
a056f39
---
a056f39
 hw/virtio/virtio.c | 14 +++++++++++---
a056f39
 1 file changed, 11 insertions(+), 3 deletions(-)
a056f39
a056f39
diff --git a/hw/virtio/virtio.c b/hw/virtio/virtio.c
a056f39
index 15cf6021a0..138fd0e936 100644
a056f39
--- a/hw/virtio/virtio.c
a056f39
+++ b/hw/virtio/virtio.c
a056f39
@@ -182,7 +182,7 @@ void virtio_queue_update_rings(VirtIODevice *vdev, int n)
a056f39
 {
a056f39
     VRing *vring = &vdev->vq[n].vring;
a056f39
 
a056f39
-    if (!vring->desc) {
a056f39
+    if (!vring->num || !vring->desc || !vring->align) {
a056f39
         /* not yet setup -> nothing to do */
a056f39
         return;
a056f39
     }
a056f39
@@ -1416,6 +1416,9 @@ void virtio_config_modern_writel(VirtIODevice *vdev,
a056f39
 
a056f39
 void virtio_queue_set_addr(VirtIODevice *vdev, int n, hwaddr addr)
a056f39
 {
a056f39
+    if (!vdev->vq[n].vring.num) {
a056f39
+        return;
a056f39
+    }
a056f39
     vdev->vq[n].vring.desc = addr;
a056f39
     virtio_queue_update_rings(vdev, n);
a056f39
 }
a056f39
@@ -1428,6 +1431,9 @@ hwaddr virtio_queue_get_addr(VirtIODevice *vdev, int n)
a056f39
 void virtio_queue_set_rings(VirtIODevice *vdev, int n, hwaddr desc,
a056f39
                             hwaddr avail, hwaddr used)
a056f39
 {
a056f39
+    if (!vdev->vq[n].vring.num) {
a056f39
+        return;
a056f39
+    }
a056f39
     vdev->vq[n].vring.desc = desc;
a056f39
     vdev->vq[n].vring.avail = avail;
a056f39
     vdev->vq[n].vring.used = used;
a056f39
@@ -1496,8 +1502,10 @@ void virtio_queue_set_align(VirtIODevice *vdev, int n, int align)
a056f39
      */
a056f39
     assert(k->has_variable_vring_alignment);
a056f39
 
a056f39
-    vdev->vq[n].vring.align = align;
a056f39
-    virtio_queue_update_rings(vdev, n);
a056f39
+    if (align) {
a056f39
+        vdev->vq[n].vring.align = align;
a056f39
+        virtio_queue_update_rings(vdev, n);
a056f39
+    }
a056f39
 }
a056f39
 
a056f39
 static bool virtio_queue_notify_aio_vq(VirtQueue *vq)