linux-kernel - Re: [PATCH] mm/memblock.c: Correctly check whether to trim a block

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-prev] [day] [month] [year] [list]

Message-ID: <1332993706.3010.3.camel@pasglop>
Date:	Thu, 29 Mar 2012 15:01:46 +1100
From:	Benjamin Herrenschmidt <benh@...nel.crashing.org>
To:	Laura Abbott <lauraa@...eaurora.org>
Cc:	linux-mm@...ck.org, yinghai@...nel.org,
	linux-kernel@...r.kernel.org, linux-arm-msm@...r.kernel.org
Subject: Re: [PATCH] mm/memblock.c: Correctly check whether to trim a block

On Wed, 2012-03-28 at 19:25 -0700, Laura Abbott wrote:
> Currently in __memblock_remove, the check to trim the top of
> a block off only checks if the requested base is less than the
> memblock end. If the end of the requested region is equal to
> the start of a memblock, this will incorrectly try to remove
> the block, possibly causing an integer underflow:
> 
>    ---------------------------------------
>    |                    |                |
>    |                    |                |
>   base              end = rgn->base    rend
> 
> An additional check is needed to see if the end of the requested
> region is greater than the memblock region:

__memblock_remove() open coded logic is gone now, re-implemented
in term of memblock_isolate_range()... though I suppose your
patch might have value in -stable...

Cheers,
Ben.


>    ----------------------
>    |                     |
>    |                     |
>   rgn->base    base     rend      end
>                 |                  |
>                 |                  |
>                 --------------------
> 
> Signed-off-by: Laura Abbott <lauraa@...eaurora.org>
> ---
>  mm/memblock.c |    2 +-
>  1 files changed, 1 insertions(+), 1 deletions(-)
> 
> diff --git a/mm/memblock.c b/mm/memblock.c
> index 5338237..e174ee0 100644
> --- a/mm/memblock.c
> +++ b/mm/memblock.c
> @@ -459,7 +459,7 @@ static long __init_memblock __memblock_remove(struct memblock_type *type,
>  		}
>  
>  		/* And check if we need to trim the top of a block */
> -		if (base < rend)
> +		if (base < rend && end > rend)
>  			rgn->size -= rend - base;
>  
>  	}


--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/