{"id":"CVE-2026-31525","revision":"941706ed8b0b45c088aee2125f8352e6","records":[{"revision":"941706ed8b0b45c088aee2125f8352e6","observedAt":"2026-10-23T15:48:27.903+00:00","statement":{"source":"cve-program","id":"CVE-2026-31525","aliases":[],"title":"bpf: Fix undefined behavior in interpreter sdiv/smod for INT_MIN","description":"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 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().","state":0,"publishedAt":"2026-04-22T13:54:39.144+00:00","modifiedAt":"2026-10-19T18:45:54.927+00:00","affected":[{"ecosystem":"Vendor product","name":"Linux","ranges":[],"versions":[],"rawVersionEvidence":"{\n                    \"product\": \"Linux\",\n                    \"vendor\": \"Linux\",\n                    \"defaultStatus\": \"unaffected\",\n                    \"repo\": \"https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git\",\n                    \"programFiles\": [\n                        \"kernel/bpf/core.c\"\n                    ],\n                    \"versions\": [\n                        {\n                            \"version\": \"ec0e2da95f72d4a46050a4d994e4fe471474fd80\",\n                            \"lessThan\": \"694ea55f1b1c74f9942d91ec366ae9e822422e42\",\n                            \"status\": \"affected\",\n                            \"versionType\": \"git\"\n                        },\n                        {\n                            \"version\": \"ec0e2da95f72d4a46050a4d994e4fe471474fd80\",\n                            \"lessThan\": \"9ab1227765c446942f290c83382f0b19887c55cf\",\n                            \"status\": \"affected\",\n                            \"versionType\": \"git\"\n                        },\n                        {\n                            \"version\": \"ec0e2da95f72d4a46050a4d994e4fe471474fd80\",\n                            \"lessThan\": \"f14ca604c0ff274fba19f73f1f0485c0047c1396\",\n                            \"status\": \"affected\",\n                            \"versionType\": \"git\"\n                        },\n                        {\n                            \"version\": \"ec0e2da95f72d4a46050a4d994e4fe471474fd80\",\n                            \"lessThan\": \"0d5d8c3ce45c734aaf3c51cbef59155a6746157d\",\n                            \"status\": \"affected\",\n                            \"versionType\": \"git\"\n                        },\n                        {\n                            \"version\": \"ec0e2da95f72d4a46050a4d994e4fe471474fd80\",\n                            \"lessThan\": \"c77b30bd1dcb61f66c640ff7d2757816210c7cb0\",\n                            \"status\": \"affected\",\n                            \"versionType\": \"git\"\n                        }\n                    ]\n                }"},{"ecosystem":"Vendor product","name":"Linux","ranges":[],"versions":[],"rawVersionEvidence":"{\n                    \"product\": \"Linux\",\n                    \"vendor\": \"Linux\",\n                    \"defaultStatus\": \"affected\",\n                    \"repo\": \"https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git\",\n                    \"programFiles\": [\n                        \"kernel/bpf/core.c\"\n                    ],\n                    \"versions\": [\n                        {\n                            \"version\": \"6.6\",\n                            \"status\": \"affected\"\n                        },\n                        {\n                            \"version\": \"0\",\n                            \"lessThan\": \"6.6\",\n                            \"status\": \"unaffected\",\n                            \"versionType\": \"semver\"\n                        },\n                        {\n                            \"version\": \"6.6.131\",\n                            \"lessThanOrEqual\": \"6.6.*\",\n                            \"status\": \"unaffected\",\n                            \"versionType\": \"semver\"\n                        },\n                        {\n                            \"version\": \"6.12.80\",\n                            \"lessThanOrEqual\": \"6.12.*\",\n                            \"status\": \"unaffected\",\n                            \"versionType\": \"semver\"\n                        },\n                        {\n                            \"version\": \"6.18.21\",\n                            \"lessThanOrEqual\": \"6.18.*\",\n                            \"status\": \"unaffected\",\n                            \"versionType\": \"semver\"\n                        },\n                        {\n                            \"version\": \"6.19.11\",\n                            \"lessThanOrEqual\": \"6.19.*\",\n                            \"status\": \"unaffected\",\n                            \"versionType\": \"semver\"\n                        },\n                        {\n                            \"version\": \"7.0\",\n                            \"lessThanOrEqual\": \"*\",\n                            \"status\": \"unaffected\",\n                            \"versionType\": \"original_commit_for_fix\"\n                        }\n                    ]\n                }"}],"metrics":[{"system":"CVSS 3.1","vector":"CVSS:3.1/AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:H","score":7.8,"severity":"HIGH"}],"references":["https://git.kernel.org/stable/c/694ea55f1b1c74f9942d91ec366ae9e822422e42","https://git.kernel.org/stable/c/9ab1227765c446942f290c83382f0b19887c55cf","https://git.kernel.org/stable/c/f14ca604c0ff274fba19f73f1f0485c0047c1396","https://git.kernel.org/stable/c/0d5d8c3ce45c734aaf3c51cbef59155a6746157d","https://git.kernel.org/stable/c/c77b30bd1dcb61f66c640ff7d2757816210c7cb0"],"sourceUrl":"https://www.cve.org/CVERecord?id=CVE-2026-31525","license":"CVE Program Terms of Use","key":"cve-program:CVE-2026-31525","identifiers":["CVE-2026-31525"]},"retained":false,"historicalAffected":[]}],"coverage":[]}