源码梳理从bpf_check函数https://elixir.bootlin.com/linux/v6.14-rc5/source/kernel/bpf/verifier.c#L23039开始看起，这里我们会有一个全局的env： 然后经过

源码分析文档解析https://docs.ebpf.io/linux/concepts/dynptrs/ dyn-ptr意为动态指针，它有很多其他的meta data用于在运行时辅助安全检查； dynptr是一个不透明指针，verifier

环境搭建根据commit下载源码到这个网站：https://web.git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git/commit/?id=8357f6fb3d9a02ac55

漏洞详情在Linux内核eBPF组件的verifier.c文件下的stacksafe函数中，存在越界写漏洞，可能会导致内核崩溃。 首先看Linux-6.5的内核源码： 对比看Linux-6.12的源码： 可以明显看到在开始的位置多了一个

__aligned__aligned(m) 的含义是地址按照m字节对齐 如果在定义一个结构体的后边使用 __attribute__ ((aligned (8))) 则是要求每一个成员按照8字节对齐； always_inline定义：这是一个

漏洞分析漏洞描述 patch首先新增了一个计数器pending_pos，和producer_pos放在同一个页中： 漏洞出现在reserve的过程： 上述代码中pend_pos累加了ringbuf中所有的已经reverse但是还没有su

芝士per-CPU 和 task迁移在运行时每一个CPU在不同的slab上操作以避免争用；被一个CPU使用的slab的freelist通常被指为一个per-CPU freelist；当一个CPU分配object的时候会首先从它的per-CP

漏洞分析对比Linux v5.10和v5.13的源码可以发现，v5.13多了一个关于len和 rb->mask+1的比较判断： 先看第一个宏：RINGBUF_MAX_RECORD_SZ: 其实际值就是0xffff_ffff &

在gdb中调试canary的两种方法：（1）在GDB中输入 print (void)arch_prctl(0x1003,$rsp-8)x/xg $rsp-8 即可查看到 fs 中的值#注意这个调试命令的输入必须保证此时程序还在子线程中；

CHECK调试安装gdbserver： apt update apt install gdbserver

思维导图 基本原理https://www.anquanke.com/post/id/235598 https://blog.wjhwjhn.com/posts/ciscn-2021-final-break%E7%8E%AF%E8%8A%8

模板import base64code = base64.b64decode(b'aaaaaa') 例题qwb-heap2 } v14 = v5; if ( *(_BYTE *)(text + i