← All Advisories
Reported from OT-Advisories.com as of

Linux Linux Kernel Improper Validation Of Array Index Rated 7.8 CVSS

Last refreshed2026-10-15

Status: UPDATED  |  Advisory ID: CVE-2026-45839

Key Details

CVECVE-2026-45839
CVSS Score / Version
7.8 (High) / CVSS v3.1
Updated2026-10-15
CVSS Vector
CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:H
CVSS Prose
attack vector is local; attack complexity is low; privileges required is low; user interaction is none; scope is unchanged; confidentiality impact is high; integrity impact is high; availability impact is high.
Affected products
Linux Kernel and Siemens SIMATIC S7-1500 TM MFP - GNU/Linux subsystem
Classified as
CWE-129 (Improper Validation of Array Index)
Exploitation prediction (EPSS)
0.18% probability of exploitation in the next 30 days (7% percentile) -- FIRST.org's EPSS model.

Affected Products, Subsystems & Sectors

VendorProductAffected VersionsPatch Status
LinuxLinux Kernel
SiemensSIMATIC S7-1500 TM MFP - GNU/Linux subsystem
SubsystemsControllers & Field I/O, OT Supporting Infrastructure
SectorsAll Sectors

What to Know

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

bpf: reject negative CO-RE accessor indices in bpf_core_parse_spec()

CO-RE accessor strings are colon-separated indices that describe a path

from a root BTF type to a target field, e.g. "0:1:2" walks through

nested struct members. bpf_core_parse_spec() parses each component with

sscanf("%d"), so negative values like -1 are silently accepted. The

subsequent bounds checks (access_idx >= btf_vlen(t)) only guard the

upper bound and always pass for negative values because C integer

promotion converts the __u16 btf_vlen result to int, making the

comparison (int)(-1) >= (int)(N) false for any positive N.

When -1 reaches btf_member_bit_offset() it gets cast to u32 0xffffffff,

producing an out-of-bounds read far past the members array. A crafted

BPF program with a negative CO-RE accessor on any struct that exists in

vmlinux BTF (e.g. task_struct) crashes the kernel deterministically

during BPF_PROG_LOAD on any system with CONFIG_DEBUG_INFO_BTF=y

(default on major distributions). The bug is reachable with CAP_BPF:

BUG: unable to handle page fault for address: ffffed11818b6626

#PF: supervisor read access in kernel mode

#PF: error_code(0x0000) - not-present page

Oops: Oops: 0000 [#1] SMP KASAN NOPTI

CPU: 0 UID: 0 PID: 85 Comm: poc Not tainted 7.0.0-rc6 #18 PREEMPT(full)

RIP: 0010:bpf_core_parse_spec (tools/lib/bpf/relo_core.c:354)

RAX: 00000000ffffffff

Call Trace:

<TASK>

bpf_core_calc_relo_insn (tools/lib/bpf/relo_core.c:1321)

bpf_core_apply (kernel/bpf/btf.c:9507)

check_core_relo (kernel/bpf/verifier.c:19475)

bpf_check (kernel/bpf/verifier.c:26031)

bpf_prog_load (kernel/bpf/syscall.c:3089)

__sys_bpf (kernel/bpf/syscall.c:6228)

</TASK>

CO-RE accessor indices are inherently non-negative (struct member index,

array element index, or enumerator index), so reject them immediately

after parsing. (NVD)

What to Do

Monitor Linux's and Siemens's web pages for any future patch releases.

References

SourceReference
NVDhttps://nvd.nist.gov/vuln/detail/CVE-2026-45839
CVEhttps://www.cve.org/CVERecord?id=CVE-2026-45839
Report compilation © 2026 OT-Advisories.com  ·  CC BY 4.0  ·  Source materials remain the property of their respective publishers as cited.