From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from eggs.gnu.org ([2001:4830:134:3::10]:41682)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <arei.gonglei@huawei.com>) id 1XdyM9-0008B2-OP
	for qemu-devel@nongnu.org; Tue, 14 Oct 2014 05:25:30 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <arei.gonglei@huawei.com>) id 1XdyM4-0004DK-3l
	for qemu-devel@nongnu.org; Tue, 14 Oct 2014 05:25:25 -0400
Message-ID: <543CEBD0.2020807@huawei.com>
Date: Tue, 14 Oct 2014 17:24:32 +0800
From: Gonglei <arei.gonglei@huawei.com>
MIME-Version: 1.0
References: <1413272710-10458-1-git-send-email-kraxel@redhat.com>
	<1413272710-10458-3-git-send-email-kraxel@redhat.com>
In-Reply-To: <1413272710-10458-3-git-send-email-kraxel@redhat.com>
Content-Type: text/plain; charset="ISO-8859-1"
Content-Transfer-Encoding: 7bit
Subject: Re: [Qemu-devel] [PATCH 2/5] vmware-vga: add vmsvga_verify_rect
List-Id: <qemu-devel.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/qemu-devel>
List-Post: <mailto:qemu-devel@nongnu.org>
List-Help: <mailto:qemu-devel-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=subscribe>
To: Gerd Hoffmann <kraxel@redhat.com>
Cc: Intel.Product.Security.Incident.Response.Team@intel.com, pmatouse@redhat.com, qemu-devel@nongnu.org, qemu-stable@nongnu.org

On 2014/10/14 15:45, Gerd Hoffmann wrote:

> Add verification function for rectangles, returning
> true if verification passes and false otherwise.
> 
> Cc: qemu-stable@nongnu.org
> Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
> ---
>  hw/display/vmware_vga.c | 53 ++++++++++++++++++++++++++++++++++++++++++++++++-
>  1 file changed, 52 insertions(+), 1 deletion(-)
> 
> diff --git a/hw/display/vmware_vga.c b/hw/display/vmware_vga.c
> index ec63290..fc0a2a7 100644
> --- a/hw/display/vmware_vga.c
> +++ b/hw/display/vmware_vga.c
> @@ -294,8 +294,59 @@ enum {
>      SVGA_CURSOR_ON_RESTORE_TO_FB = 3,
>  };
>  
> +static inline bool vmsvga_verify_rect(DisplaySurface *surface,
> +                                      const char *name,
> +                                      int x, int y, int w, int h)
> +{
> +    if (x < 0) {
> +        fprintf(stderr, "%s: x was < 0 (%d)\n", name, x);
> +        return false;
> +    }
> +    if (x > SVGA_MAX_WIDTH) {
> +        fprintf(stderr, "%s: x was > %d (%d)\n", name, SVGA_MAX_WIDTH, x);
> +        return false;
> +    }
> +    if (w < 0) {
> +        fprintf(stderr, "%s: w was < 0 (%d)\n", name, w);
> +        return false;
> +    }
> +    if (w > SVGA_MAX_WIDTH) {
> +        fprintf(stderr, "%s: w was > %d (%d)\n", name, SVGA_MAX_WIDTH, w);
> +        return false;
> +    }
> +    if (x + w > surface_width(surface)) {
> +        fprintf(stderr, "%s: width was > %d (x: %d, w: %d)\n",
> +                name, surface_width(surface), x, w);
> +        return false;
> +    }
> +
> +    if (y < 0) {
> +        fprintf(stderr, "%s: y was < 0 (%d)\n",  name, y);

                                                                       ^
A superfluous space.

> +        return false;
> +    }
> +    if (y > SVGA_MAX_HEIGHT) {
> +        fprintf(stderr, "%s: y was > %d (%d)\n", name, SVGA_MAX_HEIGHT, y);
> +        return false;
> +    }
> +    if (h < 0) {
> +        fprintf(stderr, "%s: h was < 0 (%d)\n",  name, h);


A superfluous space too.

> +        return false;
> +    }
> +    if (h > SVGA_MAX_HEIGHT) {
> +        fprintf(stderr, "%s: h was > %d (%d)\n", name, SVGA_MAX_HEIGHT, h);
> +        return false;
> +    }
> +    if (y + h > surface_height(surface)) {
> +        fprintf(stderr, "%s: update height > %d (y: %d, h: %d)\n",
> +                name, surface_height(surface), y, h);
> +        return false;
> +    }
> +
> +    return true;
> +}
> +
>  static inline void vmsvga_update_rect(struct vmsvga_state_s *s,
> -                int x, int y, int w, int h)
> +                                      int x, int y, int w, int h)
>  {
>      DisplaySurface *surface = qemu_console_surface(s->vga.con);
>      int line;


Best regards,
-Gonglei