BPF List
 help / color / mirror / Atom feed
From: sashiko-bot@kernel.org
To: "Zhen Ni" <zhen.ni@easystack.cn>
Cc: bpf@vger.kernel.org
Subject: Re: [PATCH 4/6] mm/page_owner: add bpf_page_owner_get_nid() kfunc
Date: Fri, 09 Oct 2026 12:20:59 +0000	[thread overview]
Message-ID: <sashiko-outbox-165521@kernel.org> (raw)
In-Reply-To: <20261009112308.240769-5-zhen.ni@easystack.cn>

Thank you for your contribution! Sashiko AI review found 2 potential issue(s) to consider:
- [High] bpf: arbitrary kernel memory read via page_owner_scan stack aliasing
- [High] bpf: bpf_page_owner_get_nid() oops on unmapped struct page
--

commit 86f6fa9f642d356a9518f6b22fec24555b1e1568
Author: Zhen Ni <zhen.ni@easystack.cn>

mm/page_owner: add bpf_page_owner_get_nid() kfunc

This commit extracts the NUMA node lookup from read_page_owner() into a shared
page_owner_get_nid() helper. It then exposes this helper to BPF programs via a
new bpf_page_owner_get_nid() kfunc.

> diff --git a/mm/page_owner.c b/mm/page_owner.c
> index eb420803a434a..43a722678accf 100644
> --- a/mm/page_owner.c
> +++ b/mm/page_owner.c
[ ... ]
> @@ -711,6 +711,19 @@ void __dump_page_owner(const struct page *page)
>  	page_ext_put(page_ext);
>  }
>  
> +/*
> + * NUMA node of @page, bypassing PF_POISONED_CHECK() in page_to_nid() to
> + * avoid VM_BUG_ON on poisoned pages; -1 for poisoned pages.
> + */
> +int page_owner_get_nid(struct page *page)
> +{
> +	memdesc_flags_t page_flags = READ_ONCE(page->flags);

[Severity: High]
Can this trigger a kernel oops on an unmapped struct page?

The KF_SLEEPABLE flag on bpf_iter_page_owner_next() allows the BPF program to
be preempted or to explicitly sleep while holding the scan object.

If memory is hot-removed while the program sleeps, the vmemmap region backing
the struct page pointer inside the scan object could be unmapped.

When the program wakes up and calls bpf_page_owner_get_nid(), this raw
READ_ONCE(page->flags) would dereference the potentially unmapped pointer and
crash the kernel.

Should bpf_page_owner_get_nid() use copy_from_kernel_nofault() or BPF probe
read semantics to safely probe the memory instead?

> +
> +	if (page_flags.f == PAGE_POISON_PATTERN)
> +		return -1;
> +	return memdesc_nid(&page_flags);
> +}
> +

> diff --git a/mm/page_owner_iter.c b/mm/page_owner_iter.c
> index 80693d4174077..907517a291443 100644
> --- a/mm/page_owner_iter.c
> +++ b/mm/page_owner_iter.c
[ ... ]
> @@ -165,4 +165,9 @@ __bpf_kfunc int bpf_page_owner_stack_snprint(depot_stack_handle_t handle,
>  	return stack_depot_snprint(handle, buf, buf_size, 0);
>  }
>  
> +__bpf_kfunc int bpf_page_owner_get_nid(struct page_owner_scan *scan)
> +{
> +	return page_owner_get_nid(scan->page);
> +}

[Severity: High]
Is there a risk of an arbitrary kernel memory read here?

Because the scan object physically resides on the BPF program's stack (as
returned by bpf_iter_page_owner_next()), a BPF program can overwrite the
scan->page pointer with an arbitrary kernel address using normal BPF stack
pointers (PTR_TO_STACK).

If the program then passes the aliased PTR_TO_BTF_ID to
bpf_page_owner_get_nid(), wouldn't this kfunc blindly dereference the forged
pointer, bypassing verifier safety checks?

-- 
Sashiko AI review · https://sashiko.dev/#/patchset/20261009112308.240769-1-zhen.ni@easystack.cn?part=4

  reply	other threads:[~2026-10-09 12:20 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-10-09 11:23 [PATCH 0/6] mm/page_owner: add bpf_iter and kfuncs Zhen Ni
2026-10-09 11:23 ` [PATCH 2/6] mm/page_owner: add bpf_iter target "page_owner" Zhen Ni
2026-10-09 11:50   ` sashiko-bot
2026-10-12  6:28     ` zhen.ni
2026-10-09 11:23 ` [PATCH 3/6] mm/page_owner: add open-coded page_owner iterator Zhen Ni
2026-10-09 12:00   ` sashiko-bot
2026-10-12  6:41     ` zhen.ni
2026-10-09 11:23 ` [PATCH 4/6] mm/page_owner: add bpf_page_owner_get_nid() kfunc Zhen Ni
2026-10-09 12:20   ` sashiko-bot [this message]
2026-10-12  7:01     ` zhen.ni
2026-10-09 11:23 ` [PATCH 5/6] mm/page_owner: add bpf_page_owner_get_memcg_info() kfunc Zhen Ni
2026-10-09 12:43   ` sashiko-bot
2026-10-12  7:09     ` zhen.ni
2026-10-09 11:23 ` [PATCH 6/6] selftests/bpf: add tests for the page_owner bpf_iter target Zhen Ni
2026-10-09 12:50   ` sashiko-bot
2026-10-12  7:15     ` zhen.ni
2026-10-09 13:48   ` bot+bpf-ci
     [not found] ` <20261009112308.240769-2-zhen.ni@easystack.cn>
2026-10-09 11:35   ` [PATCH 1/6] mm/page_owner: extract page_owner_next_eligible() from read loop sashiko-bot
2026-10-10  9:40     ` zhen.ni

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=sashiko-outbox-165521@kernel.org \
    --to=sashiko-bot@kernel.org \
    --cc=bpf@vger.kernel.org \
    --cc=sashiko-reviews@lists.linux.dev \
    --cc=zhen.ni@easystack.cn \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox