EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode

Qian Zhu, Yuxuan Liu, Ziyuan Zhu +2

Extended Berkeley Packet Filter (eBPF) allows developers to extend Linux kernel functionality without modifying its source code. To ensure system safety, an in-kernel safety checke…