Specific commit analysis in BPF

struct bpf_reg_state ( kernel/bpf/bpf_verifier.h ) Ok so this isn&rsquo;t really a function, but rather a struct. First line inside of it states that ordering of fields matter. And then it references another function present inside of states.c called states_equal() . We first do an internal analysis of this function. struct states_equal()