bpf, sockmap: Reject max_entries > INT_MAX in sock_map_alloc
- Published
- Last modified
- Where the record stands: published, rejected by its publisher, or superseded by another id.What do these mean? →
- published
- Whether CISA lists it in its Known Exploited Vulnerabilities catalog: proof that attackers are using it.What do these mean? →
- Not listed in CISA KEV
- Fix
- Fixed in 5.15.222, 6.1.189, 6.6.158, 6.12.112, 6.18.55, and 1 more
- Whether working attack code is public (Exploit-DB, Metasploit, Nuclei or GitHub). Public code makes attacks easier.What do these mean? →
- None on Exploit-DB, Metasploit or GitHub
Summary
In the Linux kernel, the following vulnerability has been resolved: bpf, sockmap: Reject max_entries > INT_MAX in sock_map_alloc sock_map_alloc() only rejects max_entries == 0 and otherwise allows any u32 value. sock_map_free() then walks the sks[] array with a signed int iterator: int i; for (i = 0; i < stab->map.max_entries; i++) struct sock **psk = &stab->sks[i]; When a SOCKMAP is created with max_entries = 0xffffffff (UINT_MAX), the allocation of 32 GiB can succeed on large-memory hosts. During free the counter reaches 0x80000000, wraps to INT_MIN, is sign-extended by movslq and turned into a ~16 GiB negative offset from stab->sks, pointing far below the allocation. The faulting access is an xchg() write in sock_map_free(). Without KASAN, the same out-of-bounds write can fault on an unmapped vmalloc page or corrupt an unrelated allocation if that vmalloc address is populated. On a KASAN kernel with CONFIG_KASAN_VMALLOC=y, the shadow check for that address hits an unmapped shadow page and oopses first: BUG: unable to handle page fault for address: fffff521b59c5a00 RIP: 0010:kasan_check_range+0x107/0x190 Call Trace: sock_map_free+0x93/0x190 map_create+0x68d/0xb30 __sys_bpf+0x21e/0x2e70 Vmcore confirmed stab->map.max_entries == 0xffffffff, stab->sks == 0xffffc911ace2d000, and the faulting address sks + (s64)INT_MIN * 8 exactly at 0xffffc90dace2d000. The same buggy path is reached on the normal close()/bpf_map_free_deferred() path whenever such a map is destroyed. sock_map_alloc() used to bound its allocation size through bpf_map_charge_init(), but the bound was dropped when rlimit-based memory accounting was removed. Reject max_entries > INT_MAX at creation time so the signed iterator in sock_map_free() never sees a value that would overflow. Triggered by syzkaller and reproduced on both a 6.6-based KASAN kernel and the upstream v7.3-rc2 kernel.
Timeline
- CVE published
- Record last updated
Affected versions
- Linux Linux
From 0d2c4f9640501ff57ba0be1f5644a02c29a02fa1 · fixed in f4a73f49e256bd835368504462be3b57b03febff; From 0d2c4f9640501ff57ba0be1f5644a02c29a02fa1 · fixed in c56191af3a578b9cc265fa3bd5fc0752c59c1781; From 0d2c4f9640501ff57ba0be1f5644a02c29a02fa1 · fixed in 909f761868fda329dc69130ef9eb5b5795bcdf00; From 0d2c4f9640501ff57ba0be1f5644a02c29a02fa1 · fixed in cc70972ddbf0e3398f2f32624d31db78594d50d8; From 0d2c4f9640501ff57ba0be1f5644a02c29a02fa1 · fixed in cea597519b9ca6d691c98d92460ead8ece2a07af; From 0d2c4f9640501ff57ba0be1f5644a02c29a02fa1 · fixed in ba7d627dbc67d62df2fa66d7b41e743c3ace0ec8; From 0d2c4f9640501ff57ba0be1f5644a02c29a02fa1 · fixed in 814a81c842bd88f6bd8a4ce550d560df071a5d03
- Linux Linux
5.11
- KernelLinux
From 5.11.0 · fixed in 5.15.222; From 5.16.0 · fixed in 6.1.189; From 6.2.0 · fixed in 6.6.158; From 6.7.0 · fixed in 6.12.112; From 6.13.0 · fixed in 6.18.55; From 6.19.0 · fixed in 7.2.9
References 7
git.kernel.org
- stable/c/f4a73f49e256bd835368504462be3b57b03febff
- stable/c/c56191af3a578b9cc265fa3bd5fc0752c59c1781
- stable/c/909f761868fda329dc69130ef9eb5b5795bcdf00
- stable/c/cc70972ddbf0e3398f2f32624d31db78594d50d8
- stable/c/cea597519b9ca6d691c98d92460ead8ece2a07af
- stable/c/ba7d627dbc67d62df2fa66d7b41e743c3ace0ec8
- stable/c/814a81c842bd88f6bd8a4ce550d560df071a5d03