The eBPF verifier
Important: This article was written by Github Copilot, while it's not entirely accurate, it's quite good to see what it ended up with.
The bpf verifier is a tool that can be used to check the correctness of eBPF programs. It is implemented in C and is used by the kernel. When the kernel is built with CONFIG_BPF_JIT, it does further optimization on the BPF programs.
To write a valid eBPF program you need to follow a few rules: