Harness for the Linux kernel eBPF verifier - View it on GitHub