Toss a Fault to BpfChecker: Revealing Implementation Flaws for eBPF runtimes with Differential Fuzzing

The ACM Conference on Computer and Communications Security (CCS 2024)