bpf/progs/verifier_ctx.c

1 // SPDX-License-Identifier: GPL-2.0
33 		      offsetof(struct __sk_buff, data) - offsetof(struct __sk_buff, mark)),  in make_ptr_to_ctx_unusable()
39 __description("pass unmodified ctx pointer to helper")
54 __description("pass modified ctx pointer to helper, 1")
55 __failure __msg("negative offset ctx ptr R1 off=-612 disallowed")
59 	r1 += -612;					\  in ctx_pointer_to_helper_1()
70 __description("pass modified ctx pointer to helper, 2")
71 __failure __msg("negative offset ctx ptr R1 off=-612 disallowed")
72 __failure_unpriv __msg_unpriv("negative offset ctx ptr R1 off=-612 disallowed")
76 	r1 += -612;					\  in ctx_pointer_to_helper_2()
86 __description("pass modified ctx pointer to helper, 3")
104 __description("pass ctx or null check, 1: ctx")
118 __description("pass ctx or null check, 2: null")
133 __description("pass ctx or null check, 3: 1")
138 	r1 = 1;						\  in or_null_check_3_1()
148 __description("pass ctx or null check, 4: ctx - const")
149 __failure __msg("negative offset ctx ptr R1 off=-612 disallowed")
153 	r1 += -612;					\  in null_check_4_ctx_const()
163 __description("pass ctx or null check, 5: null (connect)")
178 __description("pass ctx or null check, 6: null (bind)")
193 __description("pass ctx or null check, 7: ctx (bind)")
207 __description("pass ctx or null check, 8: null (bind)")