{"id":"CVE-2026-98019","state":"PUBLISHED","title":"bpf: mark a NULL call argument precise","description":"In the Linux kernel, the following vulnerability has been resolved:\n\nbpf: mark a NULL call argument precise\n\ncheck_func_arg() allows bpf_register_is_null() for nullable arguments\nw/o marking the underlying scalar register precise. Hence a checkpoint\ncreated on such a path would prune against arbitrary scalar value.\n\ncheck_helper_call() enforces second parameter of the\nbpf_get_local_storage() to be zero, w/o marking the underlying scalar\nregister precise. Hence a checkpoint created on such a path would\nprune against arbitrary scalar value.\n\nGrouping these two into one patch, as they share the same fixes tag.","publishedAt":"2026-09-25T10:23:40.303Z","updatedAt":"2026-10-21T12:54:04.100Z","severity":null,"assigner":"Linux","products":["Linux Linux"],"affected":[{"vendor":"Linux","product":"Linux","defaultStatus":"unaffected","versions":[{"version":"b5dc0163d8fd78e64a7e21f309cf932fda34353e","status":"affected","lessThan":"febbb66e682d8328f7c5bcbdd5e4291abab2e858","versionType":"git"},{"version":"b5dc0163d8fd78e64a7e21f309cf932fda34353e","status":"affected","lessThan":"627089c278df58749f25686c6a3caf7e181b5951","versionType":"git"},{"version":"b5dc0163d8fd78e64a7e21f309cf932fda34353e","status":"affected","lessThan":"b1fe6379e401b8ce0f561cb4d84af2b70b4343c3","versionType":"git"},{"version":"b5dc0163d8fd78e64a7e21f309cf932fda34353e","status":"affected","lessThan":"69a9ad004ccf5d45e534c7d503f47f643abe64b7","versionType":"git"},{"version":"b5dc0163d8fd78e64a7e21f309cf932fda34353e","status":"affected","lessThan":"1a3a10b030c96ea88868ccc060a16827c01eaa5a","versionType":"git"}],"repo":"https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git","programFiles":["kernel/bpf/verifier.c","tools/testing/selftests/bpf/progs/verifier_subprog_precision.c"]},{"vendor":"Linux","product":"Linux","defaultStatus":"affected","versions":[{"version":"5.3","status":"affected"},{"version":"0","status":"unaffected","lessThan":"5.3","versionType":"semver"},{"version":"6.6.160","status":"unaffected","lessThanOrEqual":"6.6.*","versionType":"semver"},{"version":"6.12.114","status":"unaffected","lessThanOrEqual":"6.12.*","versionType":"semver"},{"version":"6.18.57","status":"unaffected","lessThanOrEqual":"6.18.*","versionType":"semver"},{"version":"7.2.7","status":"unaffected","lessThanOrEqual":"7.2.*","versionType":"semver"},{"version":"7.3","status":"unaffected","lessThanOrEqual":"*","versionType":"original_commit_for_fix"}],"repo":"https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git","programFiles":["kernel/bpf/verifier.c","tools/testing/selftests/bpf/progs/verifier_subprog_precision.c"]}],"references":["https://git.kernel.org/stable/c/febbb66e682d8328f7c5bcbdd5e4291abab2e858","https://git.kernel.org/stable/c/627089c278df58749f25686c6a3caf7e181b5951","https://git.kernel.org/stable/c/b1fe6379e401b8ce0f561cb4d84af2b70b4343c3","https://git.kernel.org/stable/c/69a9ad004ccf5d45e534c7d503f47f643abe64b7","https://git.kernel.org/stable/c/1a3a10b030c96ea88868ccc060a16827c01eaa5a"],"weaknesses":[],"ingestedAt":"2026-10-29T20:13:43.249Z","source":{"repository":"CVEProject/cvelistV5","path":"cves/2026/98xxx/CVE-2026-98019.json","commit":"556c9d3a8cd17e218bb8e452ba7cd619a384ff47"},"raw":{"dataType":"CVE_RECORD","dataVersion":"5.2","cveMetadata":{"cveId":"CVE-2026-98019","state":"PUBLISHED","datePublished":"2026-09-25T10:23:40.303Z","dateUpdated":"2026-10-21T12:54:04.100Z","assignerShortName":"Linux","assignerOrgId":"416baaa9-dc9f-4396-8d5f-8c081fb06d67","dateReserved":"2026-09-25T10:19:56.069Z"},"containers":{"cna":{"title":"bpf: mark a NULL call argument precise","descriptions":[{"lang":"en","value":"In the Linux kernel, the following vulnerability has been resolved:\n\nbpf: mark a NULL call argument precise\n\ncheck_func_arg() allows bpf_register_is_null() for nullable arguments\nw/o marking the underlying scalar register precise. Hence a checkpoint\ncreated on such a path would prune against arbitrary scalar value.\n\ncheck_helper_call() enforces second parameter of the\nbpf_get_local_storage() to be zero, w/o marking the underlying scalar\nregister precise. Hence a checkpoint created on such a path would\nprune against arbitrary scalar value.\n\nGrouping these two into one patch, as they share the same fixes tag."}],"affected":[{"vendor":"Linux","product":"Linux","defaultStatus":"unaffected","versions":[{"version":"b5dc0163d8fd78e64a7e21f309cf932fda34353e","status":"affected","lessThan":"febbb66e682d8328f7c5bcbdd5e4291abab2e858","versionType":"git"},{"version":"b5dc0163d8fd78e64a7e21f309cf932fda34353e","status":"affected","lessThan":"627089c278df58749f25686c6a3caf7e181b5951","versionType":"git"},{"version":"b5dc0163d8fd78e64a7e21f309cf932fda34353e","status":"affected","lessThan":"b1fe6379e401b8ce0f561cb4d84af2b70b4343c3","versionType":"git"},{"version":"b5dc0163d8fd78e64a7e21f309cf932fda34353e","status":"affected","lessThan":"69a9ad004ccf5d45e534c7d503f47f643abe64b7","versionType":"git"},{"version":"b5dc0163d8fd78e64a7e21f309cf932fda34353e","status":"affected","lessThan":"1a3a10b030c96ea88868ccc060a16827c01eaa5a","versionType":"git"}],"repo":"https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git","programFiles":["kernel/bpf/verifier.c","tools/testing/selftests/bpf/progs/verifier_subprog_precision.c"]},{"vendor":"Linux","product":"Linux","defaultStatus":"affected","versions":[{"version":"5.3","status":"affected"},{"version":"0","status":"unaffected","lessThan":"5.3","versionType":"semver"},{"version":"6.6.160","status":"unaffected","lessThanOrEqual":"6.6.*","versionType":"semver"},{"version":"6.12.114","status":"unaffected","lessThanOrEqual":"6.12.*","versionType":"semver"},{"version":"6.18.57","status":"unaffected","lessThanOrEqual":"6.18.*","versionType":"semver"},{"version":"7.2.7","status":"unaffected","lessThanOrEqual":"7.2.*","versionType":"semver"},{"version":"7.3","status":"unaffected","lessThanOrEqual":"*","versionType":"original_commit_for_fix"}],"repo":"https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git","programFiles":["kernel/bpf/verifier.c","tools/testing/selftests/bpf/progs/verifier_subprog_precision.c"]}],"references":[{"url":"https://git.kernel.org/stable/c/febbb66e682d8328f7c5bcbdd5e4291abab2e858"},{"url":"https://git.kernel.org/stable/c/627089c278df58749f25686c6a3caf7e181b5951"},{"url":"https://git.kernel.org/stable/c/b1fe6379e401b8ce0f561cb4d84af2b70b4343c3"},{"url":"https://git.kernel.org/stable/c/69a9ad004ccf5d45e534c7d503f47f643abe64b7"},{"url":"https://git.kernel.org/stable/c/1a3a10b030c96ea88868ccc060a16827c01eaa5a"}],"providerMetadata":{"shortName":"Linux","orgId":"416baaa9-dc9f-4396-8d5f-8c081fb06d67","dateUpdated":"2026-10-21T12:54:04.100Z"},"cpeApplicability":[{"nodes":[{"operator":"OR","negate":false,"cpeMatch":[{"vulnerable":true,"criteria":"cpe:2.3:o:linux:linux_kernel:*:*:*:*:*:*:*:*","versionStartIncluding":"5.3","versionEndExcluding":"6.6.160"},{"vulnerable":true,"criteria":"cpe:2.3:o:linux:linux_kernel:*:*:*:*:*:*:*:*","versionStartIncluding":"5.3","versionEndExcluding":"6.12.114"},{"vulnerable":true,"criteria":"cpe:2.3:o:linux:linux_kernel:*:*:*:*:*:*:*:*","versionStartIncluding":"5.3","versionEndExcluding":"6.18.57"},{"vulnerable":true,"criteria":"cpe:2.3:o:linux:linux_kernel:*:*:*:*:*:*:*:*","versionStartIncluding":"5.3","versionEndExcluding":"7.2.7"},{"vulnerable":true,"criteria":"cpe:2.3:o:linux:linux_kernel:*:*:*:*:*:*:*:*","versionStartIncluding":"5.3","versionEndExcluding":"7.3"}]}]}],"x_generator":{"engine":"bippy-1.2.0"}}}}}