Linux内核eBPF虚拟机深度实战：从指令集到全链路内核挂钩解析
深入剖析eBPF虚拟机架构与实现原理，涵盖指令集编码、验证器算法、JIT编译、BPF Maps体系、Helper函数、XDP/Fentry/LSM挂载点、CO-RE可移植方案及生产环境实战案例。
Verifier
Linux 内核 BPF 验证器深度工程实战：从静态分析引擎到推测执行漏洞防御
从源码级深入剖析BPF Verifier核心机制：控制流图验证、寄存器状态追踪与taint分析、边界检查与溢出检测、循环处理与有界循环、以及针对推测执行侧信道攻击（Spectre）的防护实现。结合Linux 6.6 LTS内核源码和真实eBPF编程案例，全面解析eBPF安全加载器的设计哲学与工程实践。
eBPF 验证器深度剖析：从抽象解释到安全边界与复杂程序可验证性工程实战
深入剖析eBPF验证器的内部工作机制，包括抽象解释框架、状态寄存器类型格、模拟执行引擎、六大常见验证失败模式及工程解法，以及BTF增强验证能力等前沿演进。
