CVE Catalog

CVE-2026-98019

Unknown
Published: Translated: NVD NIST

Summary

In the Linux kernel, the BPF verifier failed to mark the underlying scalar register as precise in two cases: when a helper argument is NULL (check_func_arg) and when the second parameter of bpf_get_local_storage() is zero (check_helper_call). As a result, a checkpoint created on such a path could be pruned against an arbitrary scalar value, leading to incorrect BPF program verification.

Risk Assessment

Incorrect BPF verification may allow bypassing kernel security mechanisms and executing unverified BPF code, potentially leading to privilege escalation or system instability.

Recommendation

Update the Linux kernel to a version containing the fix that marks scalar registers as precise in check_func_arg() and check_helper_call().

Other vulnerabilities in Linux kernel

See all
Original NVD description (English source)

In the Linux kernel, the following vulnerability has been resolved: bpf: mark a NULL call argument precise check_func_arg() allows bpf_register_is_null() for nullable arguments w/o marking the underlying scalar register precise. Hence a checkpoint created on such a path would prune against arbitrary scalar value. check_helper_call() enforces second parameter of the bpf_get_local_storage() to be zero, w/o marking the underlying scalar register precise. Hence a checkpoint created on such a path would prune against arbitrary scalar value. Grouping these two into one patch, as they share the same fixes tag.

Vulnerability data from NVD (NIST) · CISA KEV · EPSS