漏洞详情
在Linux内核eBPF组件的verifier.c文件下的stacksafe函数中，存在越界写漏洞，可能会导致内核崩溃。
首先看Linux-6.5的内核源码：
对比看Linux-6.12的源码：
可以明显看到在开始的位置多了一个i >= cur->allocated_stack的检查，这是为了应对cur->allocated_stack < i <= old->allocated_stack 的情况，这样的话循环仍未结束，但是cur->allocated_stack却发生了越界读写，可能会导致内核崩溃。
参考
https://security.snyk.io/vuln/SNYK-ORACLE9-KERNELTOOLSLIBS-8603418
