Linux Kernel BPF Verifier Backtracking Bug Vulnerability

A vulnerability in the Linux kernel's BPF (Berkeley Packet Filter) verifier has been addressed. The issue arose because the verifier did not properly handle invalid kfunc (kernel function) calls during instruction backtracking. This oversight could lead to a backtracking bug warning, indicating a verifier backtracking issue. The vulnerability has been resolved by making the backtracking process more conservative.

Impact

Exploitation of this vulnerability could cause a backtracking bug in the BPF verifier, potentially leading to incorrect verification of BPF programs.