CVE-2026-98134

The Linux kernel BPF verifier contains a logic error in check_cond_jmp_op() where it incorrectly infers that a pointer is non-null. This occurs during comparisons (e.g., rA == rB) when one pointer type lacks the PTR_MAYBE_NULL flag but can still be NULL at runtime, such as types like PTR_TO_MEM. ...