Answer in brief
CVE-2026-31525 records a High severity (CVSS 7.8) vulnerability in bpf: Fix undefined behavior in interpreter sdiv/smod for INT_MIN. The current sources do not mark it as known exploited. The current feed maps Linux/Linux (generic), Linux/Linux (generic). Check affected ranges and fixed versions before updating.
Analysis pending evidence review
HOL Guard separates source facts from reviewed analysis. See the methodology.
CVSS is 7.8. The current sources do not mark it as known exploited. Treat this as a source-backed prioritization signal, not a statement about your environment.
Analysis status
Analysis pending evidence review
Factual feed record only; HOL analysis is not approved for indexing. Read the methodology.
The current feed maps Linux/Linux (generic), Linux/Linux (generic). Check affected ranges and fixed versions before updating.
| Package | Affected range | Fixed version |
|---|---|---|
| Linux/Linuxgeneric | >=ec0e2da95f72d4a46050a4d994e4fe471474fd80 <694ea55f1b1c74f9942d91ec366ae9e822422e42 || >=ec0e2da95f72d4a46050a4d994e4fe471474fd80 <9ab1227765c446942f290c83382f0b19887c55cf || >=ec0e2da95f72d4a46050a4d994e4fe471474fd80 <f14ca604c0ff274fba19f73f1f0485c0047c1396 || >=ec0e2da95f72d4a46050a4d994e4fe471474fd80 <0d5d8c3ce45c734aaf3c51cbef59155a6746157d || >=ec0e2da95f72d4a46050a4d994e4fe471474fd80 <c77b30bd1dcb61f66c640ff7d2757816210c7cb0 | 694ea55f1b1c74f9942d91ec366ae9e822422e42, 9ab1227765c446942f290c83382f0b19887c55cf, f14ca604c0ff274fba19f73f1f0485c0047c1396, 0d5d8c3ce45c734aaf3c51cbef59155a6746157d, c77b30bd1dcb61f66c640ff7d2757816210c7cb0 |
| Linux/Linuxgeneric | 6.6 | Not reported |
Published upstream
Apr 22, 2026
Evidence: source:cvelist:source_dates:source-dates:recordSource modified
Oct 16, 2026
Evidence: source:cvelist:source_dates:source-dates:recordFirst seen by HOL
Oct 16, 2026
In the Linux kernel, the following vulnerability has been resolved: bpf: Fix undefined behavior in interpreter sdiv/smod for INT_MIN The BPF interpreter's signed 32-bit division and modulo handlers use the kernel abs() macro on s32 operands. The abs() macro documentation (include/linux/math.h) explicitly states the result is undefined when the input is the type minimum. When DST contains S32_MIN (0x80000000), abs((s32)DST) triggers undefined behavior and returns S32_MIN unchanged on arm64/x86. This value is then sign-extended to u64 as 0xFFFFFFFF80000000, causing do_div() to compute the wrong result. The verifier's abstract interpretation (scalar32_min_max_sdiv) computes the mathematically correct result for range tracking, creating a verifier/interpreter mismatch that can be exploited for out-of-bounds map value access. Introduce abs_s32() which handles S32_MIN correctly by casting to u32 before negating, avoiding signed overflow entirely. Replace all 8 abs((s32)...) call sites in the interpreter's sdiv32/smod32 handlers. s32 is the only affected case -- the s64 division/modulo handlers do not use abs().
Quoted source text, attributed separately from HOL analysis.