Cooking into the eBPF verifier

The goal Rn, we gotta understand the working of the verifier and hopefully find errors. bpf_check This is the holy grail where it all starts. bpf_verifier_env is similarly the holy grail struct where it all begins. bpf_features I still do not fully understand this enum, although I know it talks about readonly memory and bpf streams. kvzalloc_obj this is a kernel malloc variant that either…