Description

In the Linux kernel, the following vulnerability has been resolved: bpf: Protect against int overflow for stack access size This patch re-introduces protection against the size of access to stack memory being negative; the access size can appear negative as a result of overflowing its signed int representation. This should not actually happen, as there are other protections along the way, but we should protect against it anyway. One code path was missing such protections (fixed in the previous patch in the series), causing out-of-bounds array accesses in check_stack_range_initialized(). This patch causes the verification of a program with such a non-sensical access size to fail. This check used to exist in a more indirect way, but was inadvertendly removed in a833a17aeac7.

Severity HIGH

CVSS Score 7.8

CVSS Vector CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:H

CWE CWE-129

Public Exploit ✅ No

Source NVD

Published 2024-05-19

Updated 2026-06-02

Modified 2026-05-12

Fix URL https://git.kernel.org/stable/c/203a68151e8eeb331d4a64ab78303f3a15faf103

Software	From version	Fixed in
debian-linux	—	—
linux-kernel	—	—