跳到正文
Bootlin·嵌入式Linux工程· Alexis Lothoré·· 3 天前精选

Bootlin 为 eBPF JIT 程序加入 KASAN 支持,已合入 BPF 树但尚无内核版本发布

A safety net for eBPF: adding KASAN support to JITed programs

AI 导读

Bootlin 工程师 Alexis Lothoré 撰文介绍在 Alpha-Omega 资助、eBPF Foundation 与 Bootlin 合作下,为 eBPF JIT 编译生成的程序实现 KASAN 内存访问检查,该系列已在 9 月以第 9 版合入 BPF 树,但尚无内核版本包含该功能,预计首个包含它的版本为 7.4、2026 年 12 月发布。

与立芯的关系

这是一篇由参与开发者撰写的一手工程记录,完整呈现了为 eBPF JIT 编译程序加入 KASAN 内存检查的设计取舍(仅 x86_64、跳过栈访问、保存 caller-saved 寄存器)与上游合入流程;可据此核查内核 BPF 子系统开发、JIT 后端与内存安全工具链方向的工程实践要求。

来源:Bootlin·嵌入式Linux工程 · bootlin.com