GitHub repository: stevenans9859/ebpf-verifier
Description: A new eBPF verifier, using abstract interpretation