From: Vetoshkin Nikita <nikita.vetoshkin@xxxxxxxxx> Date: Sun, 14 May 2017 07:16:45 +0000 > As I understand from a C compiler point of view ->data and ->data_end are > just arbitrary pointers embedded in a struct. Where does this semantics > arises from? I.e. how does eBPF verifier knows that data ends where > data_end points to? Please do not top-post. When the program runs, the invocation point sets ->data to skb->data and ->data_end to "skb->data + skb->len" or something similar. The kernel is in full control of the values set there in the context, and that's why the verifier may assume these properties. The verifier executes in the kernel where the semantics are guaranteed.
|