{"id":"CVE-2026-31525","title":"bpf: Fix undefined behavior in interpreter sdiv/smod for INT_MIN","summary":"In the Linux kernel, the following vulnerability has been resolved:\n\nbpf: Fix undefined behavior in interpreter sdiv/smod for INT_MIN\n\nThe BPF interpreter's signed 32-bit division and modulo handlers use\nthe kernel abs() macro on s32 ope…","severity":"high","cvss":7.8,"cvssVector":"CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:H","cvssSource":"cna","cwe":["CWE-190"],"vendor":"Linux","product":"Linux","affected":["Linux >= ec0e2da95f72d4a46050a4d994e4fe471474fd80 < 694ea55f1b1c74f9942d91ec366ae9e822422e42","Linux >= ec0e2da95f72d4a46050a4d994e4fe471474fd80 < 9ab1227765c446942f290c83382f0b19887c55cf","Linux >= ec0e2da95f72d4a46050a4d994e4fe471474fd80 < f14ca604c0ff274fba19f73f1f0485c0047c1396","Linux >= ec0e2da95f72d4a46050a4d994e4fe471474fd80 < 0d5d8c3ce45c734aaf3c51cbef59155a6746157d","Linux >= ec0e2da95f72d4a46050a4d994e4fe471474fd80 < c77b30bd1dcb61f66c640ff7d2757816210c7cb0","Linux 6.6"],"ssvc":{"exploitation":"none","automatable":"no","technicalImpact":"total","timestamp":"2026-10-16T15:10:36.308610Z"},"exploitAvailable":true,"published":"2026-04-22","updated":"2026-10-19","sourceUpdated":"2026-10-19T18:45:54.927Z","source":"CVEORG","sourceUrl":"https://www.cve.org/CVERecord?id=CVE-2026-31525","references":[{"url":"https://git.kernel.org/stable/c/694ea55f1b1c74f9942d91ec366ae9e822422e42"},{"url":"https://git.kernel.org/stable/c/9ab1227765c446942f290c83382f0b19887c55cf"},{"url":"https://git.kernel.org/stable/c/f14ca604c0ff274fba19f73f1f0485c0047c1396"},{"url":"https://git.kernel.org/stable/c/0d5d8c3ce45c734aaf3c51cbef59155a6746157d"},{"url":"https://git.kernel.org/stable/c/c77b30bd1dcb61f66c640ff7d2757816210c7cb0"},{"url":"https://security.access.redhat.com/data/csaf/v2/vex/2026/cve-2026-31525.json"},{"url":"https://access.redhat.com/security/cve/CVE-2026-31525"},{"url":"https://bugzilla.redhat.com/show_bug.cgi?id=2460672"},{"url":"https://www.cve.org/CVERecord?id=CVE-2026-31525"},{"url":"https://nvd.nist.gov/vuln/detail/CVE-2026-31525"},{"url":"https://lore.kernel.org/linux-cve-announce/2026042213-CVE-2026-31525-0fff@gregkh/T"}],"tags":["cve.org","exploit-available","csaf","vex","red-hat"],"epss":0.00163,"epssPercentile":0.05484,"exploits":{"github":1,"githubRepos":["https://github.com/HORKimhab/CVE-2026-31525"],"checkedAt":"2026-10-27T18:58:04.613Z"},"scores":{"cna":7.8,"vendor":6.4},"ingestedAt":"2026-10-16T17:24:46.659Z","slug":"CVE-2026-31525","body":"## Overview\n\nIn the Linux kernel, the following vulnerability has been resolved:\n\nbpf: Fix undefined behavior in interpreter sdiv/smod for INT_MIN\n\nThe BPF interpreter's signed 32-bit division and modulo handlers use\nthe kernel abs() macro on s32 operands. The abs() macro documentation\n(include/linux/math.h) explicitly states the result is undefined when\nthe input is the type minimum. When DST contains S32_MIN (0x80000000),\nabs((s32)DST) triggers undefined behavior and returns S32_MIN unchanged\non arm64/x86. This value is then sign-extended to u64 as\n0xFFFFFFFF80000000, causing do_div() to compute the wrong result.\n\nThe verifier's abstract interpretation (scalar32_min_max_sdiv) computes\nthe mathematically correct result for range tracking, creating a\nverifier/interpreter mismatch that can be exploited for out-of-bounds\nmap value access.\n\nIntroduce abs_s32() which handles S32_MIN correctly by casting to u32\nbefore negating, avoiding signed overflow entirely. Replace all 8\nabs((s32)...) call sites in the interpreter's sdiv32/smod32 handlers.\n\ns32 is the only affected case -- the s64 division/modulo handlers do\nnot use abs().\n\n## Affected\n\n- `Linux >= ec0e2da95f72d4a46050a4d994e4fe471474fd80 < 694ea55f1b1c74f9942d91ec366ae9e822422e42`\n- `Linux >= ec0e2da95f72d4a46050a4d994e4fe471474fd80 < 9ab1227765c446942f290c83382f0b19887c55cf`\n- `Linux >= ec0e2da95f72d4a46050a4d994e4fe471474fd80 < f14ca604c0ff274fba19f73f1f0485c0047c1396`\n- `Linux >= ec0e2da95f72d4a46050a4d994e4fe471474fd80 < 0d5d8c3ce45c734aaf3c51cbef59155a6746157d`\n- `Linux >= ec0e2da95f72d4a46050a4d994e4fe471474fd80 < c77b30bd1dcb61f66c640ff7d2757816210c7cb0`\n- `Linux 6.6`\n\n## Remediation\n\nRefer to the linked advisories for vendor-supplied fixes and affected version ranges.\n\n## Vendor advisories\n\n- **Red Hat VEX** · Moderate · affected: Red Hat Enterprise Linux 10, Red Hat Enterprise Linux 9 · no fix planned: Red Hat Enterprise Linux 10, Red Hat Enterprise Linux 9 · updated 2026-10-16 · [vex](https://security.access.redhat.com/data/csaf/v2/vex/2026/cve-2026-31525.json)","depth":"midnight","depthScore":55,"depthScoreParts":{"impact":42.9,"likelihood":0,"exploitation":12,"ransomware":0},"changes":[{"seq":225143,"id":"CVE-2026-31525","ts":1792438817108,"field":"cvss","old":"6.4","new":"7.8"},{"seq":225142,"id":"CVE-2026-31525","ts":1792438817108,"field":"severity","old":"medium","new":"high"},{"seq":223586,"id":"CVE-2026-31525","ts":1792238326143,"field":"cvss","old":"7.8","new":"6.4"},{"seq":223585,"id":"CVE-2026-31525","ts":1792238326143,"field":"severity","old":"high","new":"medium"}]}