Linux Kernel Memory Leak Vulnerability in BPF Verifier

A memory leak vulnerability has been identified in the Linux kernel's BPF verifier. The issue arises during array reallocation for stack state management. When an error occurs and NULL is returned by the krealloc() function, the original allocation pointer is not updated, leading to a resource leak. This vulnerability affects several Linux kernel versions.

Impact

Exploitation of this vulnerability leads to a memory leak, where allocated memory is not properly freed, causing an unreferenced object to remain in memory.