CVE-2024-46787: userfaultfd: fix checks for huge PMDs
In the Linux kernel, the following vulnerability has been resolved:
userfaultfd: fix checks for huge PMDs
Patch series "userfaultfd: fix races around pmd_trans_huge() check", v2.
The pmd_trans_huge() code in mfill_atomic() is wrong in three different
ways depending on kernel version:
1. The pmd_trans_huge() check is racy and can lead to a BUG_ON() (if you hit
the right two race windows) - I've tested this in a kernel build with
some extra mdelay() calls. See the commit message for a description
of the race scenario.
On older kernels (before 6.5), I think the same bug can even
theoretically lead to accessing transhuge page contents as a page table
if you hit the right 5 narrow race windows (I haven't tested this case).
2. As pointed out by Qi Zheng, pmd_trans_huge() is not sufficient for
detecting PMDs that don't point to page tables.
On older kernels (before 6.5), you'd just have to win a single fairly
wide race to hit this.
I've tested this on 6.1 stable by racing migration (with a mdelay()
patched into try_to_migrate()) against UFFDIO_ZEROPAGE - on my x86
VM, that causes a kernel oops in ptlock_ptr().
3. On newer kernels (>=6.5), for shmem mappings, khugepaged is allowed
to yank page tables out from under us (though I haven't tested that),
so I think the BUG_ON() checks in mfill_atomic() are just wrong.
I decided to write two separate fixes for these (one fix for bugs 1+2, one
fix for bug 3), so that the first fix can be backported to kernels
affected by bugs 1+2.
This patch (of 2):
This fixes two issues.
I discovered that the following race can occur:
mfill_atomic other thread
============ ============
<zap PMD>
pmdp_get_lockless() [reads none pmd]
<bail if trans_huge>
<if none:>
<pagefault creates transhuge zeropage>
__pte_alloc [no-op]
<zap PMD>
<bail if pmd_trans_huge(*dst_pmd)>
BUG_ON(pmd_none(*dst_pmd))
I have experimentally verified this in a kernel with extra mdelay() calls;
the BUG_ON(pmd_none(*dst_pmd)) triggers.
On kernels newer than commit 0d940a9b270b ("mm/pgtable: allow
pte_offset_map[_lock]() to fail"), this can't lead to anything worse than
a BUG_ON(), since the page table access helpers are actually designed to
deal with page tables concurrently disappearing; but on older kernels
(<=6.4), I think we could probably theoretically race past the two
BUG_ON() checks and end up treating a hugepage as a page table.
The second issue is that, as Qi Zheng pointed out, there are other types
of huge PMDs that pmd_trans_huge() can't catch: devmap PMDs and swap PMDs
(in particular, migration PMDs).
On <=6.4, this is worse than the first issue: If mfill_atomic() runs on a
PMD that contains a migration entry (which just requires winning a single,
fairly wide race), it will pass the PMD to pte_offset_map_lock(), which
assumes that the PMD points to a page table.
Breakage follows: First, the kernel tries to take the PTE lock (which will
crash or maybe worse if there is no "struct page" for the address bits in
the migration entry PMD - I think at least on X86 there usually is no
corresponding "struct page" thanks to the PTE inversion mitigation, amd64
looks different).
If that didn't crash, the kernel would next try to write a PTE into what
it wrongly thinks is a page table.
As part of fixing these issues, get rid of the check for pmd_trans_huge()
before __pte_alloc() - that's redundant, we're going to have to check for
that after the __pte_alloc() anyway.
Backport note: pmdp_get_lockless() is pmd_read_atomic() in older kernels.
Security readout for executives and security teams
Plain-English summary
A local, low-privileged user can trigger race conditions in Linux userfaultfd memory handling. Depending on kernel generation and timing, the kernel may crash or incorrectly interpret memory-management data, potentially compromising confidentiality, integrity, and availability. Network access is not sufficient by itself.
Executive priority
Treat as a high-priority local privilege-boundary risk, especially on shared systems. Patch through supported distribution channels promptly, but do not characterize it as an internet-exploitable emergency or active campaign based on the supplied evidence.
Technical view
mfill_atomic() used incomplete and race-prone checks for huge PMDs. Concurrent page-table removal, huge-page creation, migration, devmap, swap, or shmem activity could bypass assumptions before PTE access. Observed outcomes include BUG_ON, kernel oops, and invalid locking; kernels through 6.4 may theoretically treat a huge page or migration entry as a page table.
Likely exposure
Exposure requires local, low-privileged execution and a kernel containing the vulnerable userfaultfd logic. Multi-user systems allowing untrusted local code deserve particular attention. The supplied version data is ambiguous, so determine exposure through distribution advisories and patch-commit ancestry rather than version strings alone.
Exploitation context
CVSS 3.1 scores this 7.8 with low local complexity, low privileges, no user interaction, and potentially high confidentiality, integrity, and availability impact. The bundle marks KEV false and provides no evidence of active exploitation. Some severe outcomes remain theoretical or timing-dependent.
Researcher notes
The report distinguishes bugs affecting older kernels through 6.4 from shmem-related behavior beginning with 6.5. A 6.1 test produced an x86 kernel oops during migration racing with userfaultfd activity. The first race experimentally triggered BUG_ON; broader memory corruption consequences on older kernels were described as theoretical.
Mitigation direction
Update to a vendor-supported kernel incorporating the referenced stable fixes.
Check distribution security guidance for the exact corrected package version.
Prioritize systems where untrusted users can execute local programs.
Consider restricting unnecessary userfaultfd access according to vendor guidance until patched.
Validation and detection
Record each system's running kernel and distribution package release.
Compare kernel source or package changelogs against the referenced fix commits.
Confirm whether local untrusted users can access userfaultfd functionality.
After updating, verify the corrected kernel is running following reboot.
Monitor kernel logs for unexplained oops, BUG_ON, or page-table faults.
Generated from the cited source records. This long-tail analysis has not been individually reviewed by a named human.
Potential ATT&CK relevance
Conservative CVE-to-ATT&CK context
These mappings and lookup hints may be relevant to the vulnerability behavior, CWE, affected product, or exposure path. Glexia-inferred context is not an official MITRE, ATT&CK, CWE, or CVE Program mapping.
ATT&CK lookup starting points
Use these exact CWE pages and searches to review the Glexia ATT&CK library from this CVE's weakness and description context.
cve · low confidence lookup
CVE-2024-46787 mapping review
Open the CVE-to-ATT&CK bridge for reviewed, inferred, or future official mappings tied to this CVE.
These fields come from the CVE record and ADP containers, not from Glexia's Take. They preserve time-varying source decisions such as CISA SSVC, KEV status, CVSS metrics, and provider references.
We collect every scored CVSS vector available in the official CNA and ADP containers. When more than one version is present, the table keeps the source vectors side by side instead of collapsing them into the highest score.