eBPF verifier based on abstract interpretation - View it on GitHub