[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Qemu-devel] [PATCH] hw/mcf5206: Fix buffer overflow for MBAR read /
From: |
Aurelien Jarno |
Subject: |
Re: [Qemu-devel] [PATCH] hw/mcf5206: Fix buffer overflow for MBAR read / write |
Date: |
Mon, 10 Sep 2012 15:18:06 +0200 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
On Tue, Sep 04, 2012 at 07:37:39PM +0200, Stefan Weil wrote:
> Report from smatch:
>
> mcf5206.c:384 m5206_mbar_readb(7) error: buffer overflow 'm5206_mbar_width'
> 128 <= 128
> mcf5206.c:403 m5206_mbar_readw(8) error: buffer overflow 'm5206_mbar_width'
> 128 <= 128
> mcf5206.c:427 m5206_mbar_readl(8) error: buffer overflow 'm5206_mbar_width'
> 128 <= 128
> mcf5206.c:451 m5206_mbar_writeb(9) error: buffer overflow 'm5206_mbar_width'
> 128 <= 128
> mcf5206.c:475 m5206_mbar_writew(9) error: buffer overflow 'm5206_mbar_width'
> 128 <= 128
> mcf5206.c:503 m5206_mbar_writel(9) error: buffer overflow 'm5206_mbar_width'
> 128 <= 128
>
> m5206_mbar_width has 0x80 elements and supports 0 <= offset < 0x200.
>
> Signed-off-by: Stefan Weil <address@hidden>
> ---
> hw/mcf5206.c | 12 ++++++------
> 1 file changed, 6 insertions(+), 6 deletions(-)
>
> diff --git a/hw/mcf5206.c b/hw/mcf5206.c
> index 539b391..27753e2 100644
> --- a/hw/mcf5206.c
> +++ b/hw/mcf5206.c
> @@ -378,7 +378,7 @@ static uint32_t m5206_mbar_readb(void *opaque,
> target_phys_addr_t offset)
> {
> m5206_mbar_state *s = (m5206_mbar_state *)opaque;
> offset &= 0x3ff;
> - if (offset > 0x200) {
> + if (offset >= 0x200) {
> hw_error("Bad MBAR read offset 0x%x", (int)offset);
> }
> if (m5206_mbar_width[offset >> 2] > 1) {
> @@ -397,7 +397,7 @@ static uint32_t m5206_mbar_readw(void *opaque,
> target_phys_addr_t offset)
> m5206_mbar_state *s = (m5206_mbar_state *)opaque;
> int width;
> offset &= 0x3ff;
> - if (offset > 0x200) {
> + if (offset >= 0x200) {
> hw_error("Bad MBAR read offset 0x%x", (int)offset);
> }
> width = m5206_mbar_width[offset >> 2];
> @@ -421,7 +421,7 @@ static uint32_t m5206_mbar_readl(void *opaque,
> target_phys_addr_t offset)
> m5206_mbar_state *s = (m5206_mbar_state *)opaque;
> int width;
> offset &= 0x3ff;
> - if (offset > 0x200) {
> + if (offset >= 0x200) {
> hw_error("Bad MBAR read offset 0x%x", (int)offset);
> }
> width = m5206_mbar_width[offset >> 2];
> @@ -445,7 +445,7 @@ static void m5206_mbar_writeb(void *opaque,
> target_phys_addr_t offset,
> m5206_mbar_state *s = (m5206_mbar_state *)opaque;
> int width;
> offset &= 0x3ff;
> - if (offset > 0x200) {
> + if (offset >= 0x200) {
> hw_error("Bad MBAR write offset 0x%x", (int)offset);
> }
> width = m5206_mbar_width[offset >> 2];
> @@ -469,7 +469,7 @@ static void m5206_mbar_writew(void *opaque,
> target_phys_addr_t offset,
> m5206_mbar_state *s = (m5206_mbar_state *)opaque;
> int width;
> offset &= 0x3ff;
> - if (offset > 0x200) {
> + if (offset >= 0x200) {
> hw_error("Bad MBAR write offset 0x%x", (int)offset);
> }
> width = m5206_mbar_width[offset >> 2];
> @@ -497,7 +497,7 @@ static void m5206_mbar_writel(void *opaque,
> target_phys_addr_t offset,
> m5206_mbar_state *s = (m5206_mbar_state *)opaque;
> int width;
> offset &= 0x3ff;
> - if (offset > 0x200) {
> + if (offset >= 0x200) {
> hw_error("Bad MBAR write offset 0x%x", (int)offset);
> }
> width = m5206_mbar_width[offset >> 2];
> --
> 1.7.10
>
Thanks, applied.
--
Aurelien Jarno GPG: 1024D/F1BCDB73
address@hidden http://www.aurel32.net