CVE-2024-35905: bpf: Protect against int overflow for stack access size
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.
Security readout for executives and security teams
Plain-English summary
CVE-2024-35905 is a Linux kernel BPF verifier flaw. A nonsensical stack access size could overflow a signed integer and reach an out-of-bounds array access path. The source bundle does not provide CVSS, impact, or active exploitation evidence, so urgency depends on whether affected systems allow BPF programs to be loaded.
Executive priority
Treat this as a kernel hygiene priority for Linux fleets, not an emergency based on current evidence. Patch through normal accelerated kernel maintenance, with higher priority for shared compute and systems allowing BPF use.
Technical view
The Linux kernel BPF verifier missed protection for negative stack access sizes caused by signed int overflow. The vulnerable path involved check_stack_range_initialized(), and the fix makes verification fail for such invalid access sizes. The issue was introduced by removal of an earlier indirect check in a833a17aeac7.
Likely exposure
Linux systems running affected kernel versions are relevant, especially hosts where local users, containers, or services can load BPF programs. The bundle lists Linux as the affected product and references stable kernel fixes, but it does not define remote exposure or specific distributions beyond included advisories.
Exploitation context
The source bundle marks KEV as false and provides no cited evidence of active exploitation. The vulnerability appears to require reaching BPF program verification, so exposure assessment should focus on local BPF loading permissions and kernel version state.
Researcher notes
Evidence supports a BPF verifier bounds-check flaw fixed upstream. The bundle lacks CVSS, exploitability analysis, and concrete impact statements. Avoid assuming privilege escalation or denial of service without additional vendor analysis.
Mitigation direction
Apply vendor kernel updates that include the referenced stable fixes.
Review Debian, Siemens, or platform-specific advisories where applicable.
Restrict untrusted ability to load BPF programs where operationally feasible.
Prioritize multi-user, container, and shared Linux hosts for review.
Validation and detection
Inventory Linux kernel versions across servers and appliances.
Map kernel builds to vendor advisories or the referenced stable commits.
Check whether untrusted users or workloads can load BPF programs.
Confirm updated systems booted into the remediated kernel.
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-35905 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.