The Linux kernel's BPF verifier function bpf_check() could leak memory when it successfully allocates env->insn_aux_data but subsequently fails to allocate env->succ. The error handling path jumped directly to err_free_env, bypassing the vfree call for env->insn_aux_data, causing a memory leak. The patch moves the vfree call into the err_free_env label to guarantee that insn_aux_data is freed on all error exit paths.

This vulnerability results in a memory leak in the kernel's BPF verifier, which could lead to increased memory consumption and potential denial of service conditions if exploited repeatedly. There is no indication of code execution or privilege escalation from this issue.

A fix has been applied in the Linux kernel to address this memory leak by modifying the error handling to free allocated memory consistently. Users should update to the fixed kernel version once available. Patch status is not explicitly confirmed in the provided data; check the vendor advisory for current remediation guidance.