Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program.

Hao Sun, Yiru Xu, Jianzhong Liu, Yuheng Shen, Nan Guan, Yu Jiang

Browse the full EuroSys paper archive.