1369de9
From: Gerd Hoffmann <kraxel@redhat.com>
1369de9
Date: Wed, 29 Oct 2014 12:56:07 +0100
1369de9
Subject: [PATCH] vmware-vga: add vmsvga_verify_rect
1369de9
1369de9
Add verification function for rectangles, returning
1369de9
true if verification passes and false otherwise.
1369de9
1369de9
Cc: qemu-stable@nongnu.org
1369de9
Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
1369de9
Reviewed-by: Don Koch <dkoch@verizon.com>
1369de9
---
1369de9
 hw/display/vmware_vga.c | 53 ++++++++++++++++++++++++++++++++++++++++++++++++-
1369de9
 1 file changed, 52 insertions(+), 1 deletion(-)
1369de9
1369de9
diff --git a/hw/display/vmware_vga.c b/hw/display/vmware_vga.c
1369de9
index 113ce1f..7fc2b30 100644
1369de9
--- a/hw/display/vmware_vga.c
1369de9
+++ b/hw/display/vmware_vga.c
1369de9
@@ -292,8 +292,59 @@ enum {
1369de9
     SVGA_CURSOR_ON_RESTORE_TO_FB = 3,
1369de9
 };
1369de9
 
1369de9
+static inline bool vmsvga_verify_rect(DisplaySurface *surface,
1369de9
+                                      const char *name,
1369de9
+                                      int x, int y, int w, int h)
1369de9
+{
1369de9
+    if (x < 0) {
1369de9
+        fprintf(stderr, "%s: x was < 0 (%d)\n", name, x);
1369de9
+        return false;
1369de9
+    }
1369de9
+    if (x > SVGA_MAX_WIDTH) {
1369de9
+        fprintf(stderr, "%s: x was > %d (%d)\n", name, SVGA_MAX_WIDTH, x);
1369de9
+        return false;
1369de9
+    }
1369de9
+    if (w < 0) {
1369de9
+        fprintf(stderr, "%s: w was < 0 (%d)\n", name, w);
1369de9
+        return false;
1369de9
+    }
1369de9
+    if (w > SVGA_MAX_WIDTH) {
1369de9
+        fprintf(stderr, "%s: w was > %d (%d)\n", name, SVGA_MAX_WIDTH, w);
1369de9
+        return false;
1369de9
+    }
1369de9
+    if (x + w > surface_width(surface)) {
1369de9
+        fprintf(stderr, "%s: width was > %d (x: %d, w: %d)\n",
1369de9
+                name, surface_width(surface), x, w);
1369de9
+        return false;
1369de9
+    }
1369de9
+
1369de9
+    if (y < 0) {
1369de9
+        fprintf(stderr, "%s: y was < 0 (%d)\n", name, y);
1369de9
+        return false;
1369de9
+    }
1369de9
+    if (y > SVGA_MAX_HEIGHT) {
1369de9
+        fprintf(stderr, "%s: y was > %d (%d)\n", name, SVGA_MAX_HEIGHT, y);
1369de9
+        return false;
1369de9
+    }
1369de9
+    if (h < 0) {
1369de9
+        fprintf(stderr, "%s: h was < 0 (%d)\n", name, h);
1369de9
+        return false;
1369de9
+    }
1369de9
+    if (h > SVGA_MAX_HEIGHT) {
1369de9
+        fprintf(stderr, "%s: h was > %d (%d)\n", name, SVGA_MAX_HEIGHT, h);
1369de9
+        return false;
1369de9
+    }
1369de9
+    if (y + h > surface_height(surface)) {
1369de9
+        fprintf(stderr, "%s: update height > %d (y: %d, h: %d)\n",
1369de9
+                name, surface_height(surface), y, h);
1369de9
+        return false;
1369de9
+    }
1369de9
+
1369de9
+    return true;
1369de9
+}
1369de9
+
1369de9
 static inline void vmsvga_update_rect(struct vmsvga_state_s *s,
1369de9
-                int x, int y, int w, int h)
1369de9
+                                      int x, int y, int w, int h)
1369de9
 {
1369de9
     DisplaySurface *surface = qemu_console_surface(s->vga.con);
1369de9
     int line;