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
next prev parent 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