* [PATCH] kho: validate order in deserialize_bitmap()
@ 2026-02-14 0:57 Marco Elver
2026-02-15 6:47 ` Mike Rapoport
0 siblings, 1 reply; 2+ messages in thread
From: Marco Elver @ 2026-02-14 0:57 UTC (permalink / raw)
To: elver
Cc: Alexander Graf, Mike Rapoport, Pasha Tatashin, Pratyush Yadav,
kexec, linux-mm, linux-kernel, kasan-dev
The function deserialize_bitmap() calculates the reservation size using:
int sz = 1 << (order + PAGE_SHIFT);
If a corrupted KHO image provides an order >= 20 (on systems with 4KB
pages), the shift amount becomes >= 32, which overflows the 32-bit
integer. This results in a zero-size memory reservation.
Furthermore, the physical address calculation:
phys_addr_t phys = elm->phys_start + (bit << (order + PAGE_SHIFT));
can also overflow and wrap around if the order is large. This allows a
corrupt KHO image to cause out-of-bounds updates to page->private of
arbitrary physical pages during early boot.
Fix this by adding a bounds check for the order field.
Fixes: fc33e4b44b27 ("kexec: enable KHO support for memory preservation")
Signed-off-by: Marco Elver <elver@google.com>
---
kernel/liveupdate/kexec_handover.c | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/kernel/liveupdate/kexec_handover.c b/kernel/liveupdate/kexec_handover.c
index b851b09a8e99..ec353e4b68a6 100644
--- a/kernel/liveupdate/kexec_handover.c
+++ b/kernel/liveupdate/kexec_handover.c
@@ -463,6 +463,11 @@ static void __init deserialize_bitmap(unsigned int order,
struct kho_mem_phys_bits *bitmap = KHOSER_LOAD_PTR(elm->bitmap);
unsigned long bit;
+ if (order > MAX_PAGE_ORDER) {
+ pr_warn("invalid order %u for preserved bitmap\n", order);
+ return;
+ }
+
for_each_set_bit(bit, bitmap->preserve, PRESERVE_BITS) {
int sz = 1 << (order + PAGE_SHIFT);
phys_addr_t phys =
--
2.53.0.335.g19a08e0c02-goog
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [PATCH] kho: validate order in deserialize_bitmap()
2026-02-14 0:57 [PATCH] kho: validate order in deserialize_bitmap() Marco Elver
@ 2026-02-15 6:47 ` Mike Rapoport
0 siblings, 0 replies; 2+ messages in thread
From: Mike Rapoport @ 2026-02-15 6:47 UTC (permalink / raw)
To: Marco Elver
Cc: Alexander Graf, Pasha Tatashin, Pratyush Yadav, kexec, linux-mm,
linux-kernel, kasan-dev
Hi Marco,
On Sat, Feb 14, 2026 at 01:57:51AM +0100, Marco Elver wrote:
> The function deserialize_bitmap() calculates the reservation size using:
>
> int sz = 1 << (order + PAGE_SHIFT);
>
> If a corrupted KHO image provides an order >= 20 (on systems with 4KB
> pages), the shift amount becomes >= 32, which overflows the 32-bit
> integer. This results in a zero-size memory reservation.
>
> Furthermore, the physical address calculation:
>
> phys_addr_t phys = elm->phys_start + (bit << (order + PAGE_SHIFT));
>
> can also overflow and wrap around if the order is large. This allows a
> corrupt KHO image to cause out-of-bounds updates to page->private of
> arbitrary physical pages during early boot.
>
> Fix this by adding a bounds check for the order field.
>
> Fixes: fc33e4b44b27 ("kexec: enable KHO support for memory preservation")
> Signed-off-by: Marco Elver <elver@google.com>
> ---
> kernel/liveupdate/kexec_handover.c | 5 +++++
> 1 file changed, 5 insertions(+)
>
> diff --git a/kernel/liveupdate/kexec_handover.c b/kernel/liveupdate/kexec_handover.c
> index b851b09a8e99..ec353e4b68a6 100644
> --- a/kernel/liveupdate/kexec_handover.c
> +++ b/kernel/liveupdate/kexec_handover.c
> @@ -463,6 +463,11 @@ static void __init deserialize_bitmap(unsigned int order,
> struct kho_mem_phys_bits *bitmap = KHOSER_LOAD_PTR(elm->bitmap);
> unsigned long bit;
>
> + if (order > MAX_PAGE_ORDER) {
Preserved order can be larger than MAX_PAGE_ORDER.
Let's make 'sz' unsigned long and add checks that calculations won't
overflow.
> + pr_warn("invalid order %u for preserved bitmap\n", order);
> + return;
> + }
> +
> for_each_set_bit(bit, bitmap->preserve, PRESERVE_BITS) {
> int sz = 1 << (order + PAGE_SHIFT);
> phys_addr_t phys =
> --
> 2.53.0.335.g19a08e0c02-goog
--
Sincerely yours,
Mike.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2026-02-15 6:47 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2026-02-14 0:57 [PATCH] kho: validate order in deserialize_bitmap() Marco Elver
2026-02-15 6:47 ` Mike Rapoport
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox