CVE-2026-89574

Summary

In the Linux kernel, the following vulnerability has been resolved:

dm array: validate array block headers on read

array_block_check() validates blocknr and csum and nothing else, while node_check(), next to it, has bounded the structural fields since both were written. dm_array_cursor_next() takes its loop bound from the on-disk nr_entries and element_at() is unguarded pointer arithmetic, so a count larger than the block holds keeps the cursor in one block while the index grows past it and the read walks off the dm-bufio buffer – dm_cache_load_mappings() drives it once per cache block at activation.

Check the header against itself: reject a zero value_size, require max_entries to equal calc_max_entries() for that value_size and block size, and require nr_entries to fit. Equality rather than an upper bound, since a count below the real capacity trips BUG_ON() in fill_ablock() and trim_ablock(). Metadata dm-array writes satisfies all three.

Affected Software

VendorProductVersion RangeStatus
LinuxLinux6513c29f44f2cc970c0e9fecfe5a6526c3e73025 < 67adda7ed5da3e3b64f5b9021a02c21fb374fd9caffected
LinuxLinux6513c29f44f2cc970c0e9fecfe5a6526c3e73025 < b33f76d33aaeacf3baf3370d8d64985169b36600affected
LinuxLinux6513c29f44f2cc970c0e9fecfe5a6526c3e73025 < 9808ddffb4bc659352df3020cd84d9d864820ee5affected
LinuxLinux6513c29f44f2cc970c0e9fecfe5a6526c3e73025 < 2965787723084835b18dfe993cd450ebf5bd4540affected
LinuxLinux3.9affected
LinuxLinux0 < 3.9unaffected
LinuxLinux6.12.109 <= 6.12.*unaffected
LinuxLinux6.18.50 <= 6.18.*unaffected
LinuxLinux7.2.4 <= 7.2.*unaffected
LinuxLinux7.3-rc1 <= *unaffected

Weaknesses

References