Jul 2026
KernelScript: Cross-Boundary Typed DSL for eBPF Applications
KernelScript is presented, a DSL that types maps, program handles, and execution domains in one source, then compiles to standard C through the original toolchain, and rejects cross-boundary bugs at compile time that standard C/libbpf still builds and loads.
Cong Wang, Siyuan Sun, Yu-Sheng Zheng
· arXiv.org · 0 citations