bpf/verifier/ctx_sk_lookup.c

2 	"valid 1,2,4,8-byte reads from bpf_sk_lookup",
4 		/* 1-byte read from family field */
13 		/* 2-byte read from family field */
18 		/* 4-byte read from family field */
22 		/* 1-byte read from protocol field */
31 		/* 2-byte read from protocol field */
36 		/* 4-byte read from protocol field */
40 		/* 1-byte read from remote_ip4 field */
49 		/* 2-byte read from remote_ip4 field */
54 		/* 4-byte read from remote_ip4 field */
58 		/* 1-byte read from remote_ip6 field */
68 			    offsetof(struct bpf_sk_lookup, remote_ip6) + 4),
91 		/* 2-byte read from remote_ip6 field */
97 			    offsetof(struct bpf_sk_lookup, remote_ip6) + 4),
108 		/* 4-byte read from remote_ip6 field */
112 			    offsetof(struct bpf_sk_lookup, remote_ip6) + 4),
118 		/* 1-byte read from remote_port field */
127 		/* 2-byte read from remote_port field */
132 		/* 4-byte read from remote_port field */
136 		/* 1-byte read from local_ip4 field */
145 		/* 2-byte read from local_ip4 field */
150 		/* 4-byte read from local_ip4 field */
154 		/* 1-byte read from local_ip6 field */
164 			    offsetof(struct bpf_sk_lookup, local_ip6) + 4),
187 		/* 2-byte read from local_ip6 field */
193 			    offsetof(struct bpf_sk_lookup, local_ip6) + 4),
204 		/* 4-byte read from local_ip6 field */
208 			    offsetof(struct bpf_sk_lookup, local_ip6) + 4),
214 		/* 1-byte read from local_port field */
223 		/* 2-byte read from local_port field */
228 		/* 4-byte read from local_port field */
232 		/* 1-byte read from ingress_ifindex field */
241 		/* 2-byte read from ingress_ifindex field */
246 		/* 4-byte read from ingress_ifindex field */
250 		/* 8-byte read from sk field */
260 	.runs = -1,
262 /* invalid 8-byte reads from a 4-byte fields in bpf_sk_lookup */
264 	"invalid 8-byte read from bpf_sk_lookup family field",
277 	"invalid 8-byte read from bpf_sk_lookup protocol field",
291 	"invalid 8-byte read from bpf_sk_lookup remote_ip4 field",
304 	"invalid 8-byte read from bpf_sk_lookup remote_ip6 field",
318 	"invalid 8-byte read from bpf_sk_lookup remote_port field",
332 	"invalid 8-byte read from bpf_sk_lookup local_ip4 field",
345 	"invalid 8-byte read from bpf_sk_lookup local_ip6 field",
359 	"invalid 8-byte read from bpf_sk_lookup local_port field",
373 	"invalid 8-byte read from bpf_sk_lookup ingress_ifindex field",
386 /* invalid 1,2,4-byte reads from 8-byte fields in bpf_sk_lookup */
388 	"invalid 4-byte read from bpf_sk_lookup sk field",
401 	"invalid 2-byte read from bpf_sk_lookup sk field",
414 	"invalid 1-byte read from bpf_sk_lookup sk field",
428 	"invalid 4-byte read past end of bpf_sk_lookup",
441 	"invalid 4-byte unaligned read from bpf_sk_lookup at odd offset",
454 	"invalid 4-byte unaligned read from bpf_sk_lookup at even offset",
466 /* in-bound and out-of-bound writes to bpf_sk_lookup */
468 	"invalid 8-byte write to bpf_sk_lookup",
481 	"invalid 4-byte write to bpf_sk_lookup",
494 	"invalid 2-byte write to bpf_sk_lookup",
507 	"invalid 1-byte write to bpf_sk_lookup",
520 	"invalid 4-byte write past end of bpf_sk_lookup",