| /Linux-v6.6/tools/testing/selftests/bpf/progs/ |
| D | verifier_ref_tracking.c | 105 : __imm(bpf_tail_call), in dummy_prog_loop1_tc()
120 : __imm(bpf_sk_lookup_tcp), in reference_tracking_leak_potential_reference()
135 : __imm(bpf_skc_lookup_tcp), in potential_reference_to_sock_common_1()
153 : __imm(bpf_sk_lookup_tcp), in leak_potential_reference_on_stack()
173 : __imm(bpf_sk_lookup_tcp), in potential_reference_on_stack_2()
188 : __imm(bpf_sk_lookup_tcp), in reference_tracking_zero_potential_reference()
203 : __imm(bpf_skc_lookup_tcp), in potential_reference_to_sock_common_2()
220 : __imm(bpf_sk_lookup_tcp), in copy_and_zero_potential_references()
240 : __imm(bpf_key_put), in acquire_release_user_key_reference()
241 __imm(bpf_lookup_user_key) in acquire_release_user_key_reference()
[all …]
|
| D | verifier_spin_lock.c | 46 : __imm(bpf_map_lookup_elem), in spin_lock_test1_success()
47 __imm(bpf_spin_lock), in spin_lock_test1_success()
48 __imm(bpf_spin_unlock), in spin_lock_test1_success()
79 : __imm(bpf_map_lookup_elem), in lock_test2_direct_ld_st()
80 __imm(bpf_spin_lock), in lock_test2_direct_ld_st()
81 __imm(bpf_spin_unlock), in lock_test2_direct_ld_st()
113 : __imm(bpf_map_lookup_elem), in __flag()
114 __imm(bpf_spin_lock), in __flag()
115 __imm(bpf_spin_unlock), in __flag()
147 : __imm(bpf_map_lookup_elem), in __flag()
[all …]
|
| D | verifier_helper_value_access.c | 60 : __imm(bpf_map_lookup_elem), in access_to_map_full_range()
61 __imm(bpf_probe_read_kernel), in access_to_map_full_range()
86 : __imm(bpf_map_lookup_elem), in access_to_map_partial_range()
87 __imm(bpf_probe_read_kernel), in access_to_map_partial_range()
110 : __imm(bpf_map_lookup_elem), in access_to_map_empty_range()
111 __imm(bpf_trace_printk), in access_to_map_empty_range()
135 : __imm(bpf_map_lookup_elem), in map_out_of_bound_range()
136 __imm(bpf_probe_read_kernel), in map_out_of_bound_range()
161 : __imm(bpf_map_lookup_elem), in access_to_map_negative_range()
162 __imm(bpf_probe_read_kernel), in access_to_map_negative_range()
[all …]
|
| D | verifier_helper_access_var_len.c | 62 : __imm(bpf_probe_read_kernel) in bitwise_and_jmp_correct_bounds()
95 : __imm(bpf_get_prandom_u32), in stack_bitwise_and_zero_included()
96 __imm(bpf_ringbuf_output), in stack_bitwise_and_zero_included()
120 : __imm(bpf_probe_read_kernel) in bitwise_and_jmp_wrong_max()
152 : __imm(bpf_probe_read_kernel) in memory_stack_jmp_correct_bounds()
184 : __imm(bpf_probe_read_kernel) in stack_jmp_signed_correct_bounds()
208 : __imm(bpf_probe_read_kernel) in memory_stack_jmp_bounds_offset()
231 : __imm(bpf_probe_read_kernel) in memory_stack_jmp_wrong_max()
255 : __imm(bpf_probe_read_kernel) in stack_jmp_no_max_check()
289 : __imm(bpf_get_prandom_u32), in stack_jmp_no_min_check()
[all …]
|
| D | verifier_bounds_mix_sign_unsign.c | 41 : __imm(bpf_ktime_get_ns), in signed_and_unsigned_positive_bounds()
42 __imm(bpf_map_lookup_elem), in signed_and_unsigned_positive_bounds()
73 : __imm(bpf_ktime_get_ns), in checks_mixing_signed_and_unsigned()
74 __imm(bpf_map_lookup_elem), in checks_mixing_signed_and_unsigned()
107 : __imm(bpf_ktime_get_ns), in signed_and_unsigned_variant_2()
108 __imm(bpf_map_lookup_elem), in signed_and_unsigned_variant_2()
140 : __imm(bpf_ktime_get_ns), in signed_and_unsigned_variant_3()
141 __imm(bpf_map_lookup_elem), in signed_and_unsigned_variant_3()
171 : __imm(bpf_ktime_get_ns), in signed_and_unsigned_variant_4()
172 __imm(bpf_map_lookup_elem), in signed_and_unsigned_variant_4()
[all …]
|
| D | verifier_bounds_deduction_non_const.c | 24 : __imm(bpf_ktime_get_ns) in deducing_bounds_from_non_const_1()
45 : __imm(bpf_ktime_get_ns) in deducing_bounds_from_non_const_2()
67 : __imm(bpf_ktime_get_ns) in deducing_bounds_from_non_const_3()
89 : __imm(bpf_ktime_get_ns) in deducing_bounds_from_non_const_4()
110 : __imm(bpf_ktime_get_ns) in deducing_bounds_from_non_const_5()
131 : __imm(bpf_ktime_get_ns) in deducing_bounds_from_non_const_6()
153 : __imm(bpf_ktime_get_ns) in deducing_bounds_from_non_const_7()
175 : __imm(bpf_ktime_get_ns) in deducing_bounds_from_non_const_8()
194 : __imm(bpf_ktime_get_ns) in deducing_bounds_from_non_const_9()
215 : __imm(bpf_ktime_get_ns) in deducing_bounds_from_non_const_10()
[all …]
|
| D | verifier_subreg.c | 34 : __imm(bpf_get_prandom_u32) in add32_reg_zero_extend_check()
64 : __imm(bpf_get_prandom_u32) in add32_imm_zero_extend_check()
81 : __imm(bpf_get_prandom_u32) in sub32_reg_zero_extend_check()
105 : __imm(bpf_get_prandom_u32) in sub32_imm_zero_extend_check()
122 : __imm(bpf_get_prandom_u32) in mul32_reg_zero_extend_check()
146 : __imm(bpf_get_prandom_u32) in mul32_imm_zero_extend_check()
163 : __imm(bpf_get_prandom_u32) in div32_reg_zero_extend_check()
187 : __imm(bpf_get_prandom_u32) in div32_imm_zero_extend_check()
204 : __imm(bpf_get_prandom_u32) in or32_reg_zero_extend_check()
228 : __imm(bpf_get_prandom_u32) in or32_imm_zero_extend_check()
[all …]
|
| D | verifier_regalloc.c | 46 : __imm(bpf_get_prandom_u32), in __flag()
47 __imm(bpf_map_lookup_elem), in __flag()
76 : __imm(bpf_get_prandom_u32), in regalloc_negative()
77 __imm(bpf_map_lookup_elem), in regalloc_negative()
107 : __imm(bpf_get_prandom_u32), in __flag()
108 __imm(bpf_map_lookup_elem), in __flag()
139 : __imm(bpf_get_prandom_u32), in __flag()
140 __imm(bpf_map_lookup_elem), in __flag()
174 : __imm(bpf_get_prandom_u32), in __flag()
175 __imm(bpf_map_lookup_elem), in __flag()
[all …]
|
| D | verifier_helper_restricted.c | 41 : __imm(bpf_ktime_get_coarse_ns) in in_bpf_prog_type_kprobe_1()
55 : __imm(bpf_ktime_get_coarse_ns) in in_bpf_prog_type_tracepoint_1()
69 : __imm(bpf_ktime_get_coarse_ns) in bpf_prog_type_perf_event_1()
83 : __imm(bpf_ktime_get_coarse_ns) in bpf_prog_type_raw_tracepoint_1()
106 : __imm(bpf_map_lookup_elem), in in_bpf_prog_type_kprobe_2()
107 __imm(bpf_timer_init), in in_bpf_prog_type_kprobe_2()
131 : __imm(bpf_map_lookup_elem), in bpf_prog_type_perf_event_2()
132 __imm(bpf_timer_init), in bpf_prog_type_perf_event_2()
156 : __imm(bpf_map_lookup_elem), in in_bpf_prog_type_tracepoint_2()
157 __imm(bpf_timer_init), in in_bpf_prog_type_tracepoint_2()
[all …]
|
| D | verifier_value_ptr_arith.c | 73 : __imm(bpf_map_lookup_elem), in value_ptr_unknown_vs_const()
111 : __imm(bpf_map_lookup_elem), in value_ptr_const_vs_unknown()
147 : __imm(bpf_map_lookup_elem), in ptr_const_vs_const_ne()
181 : __imm(bpf_map_lookup_elem), in ptr_const_vs_const_eq()
219 : __imm(bpf_map_lookup_elem), in ptr_unknown_vs_unknown_eq()
259 : __imm(bpf_map_lookup_elem), in ptr_unknown_vs_unknown_lt()
299 : __imm(bpf_map_lookup_elem), in ptr_unknown_vs_unknown_gt()
329 : __imm(bpf_map_lookup_elem), in value_ptr_from_different_maps()
362 : __imm(bpf_map_lookup_elem), in known_scalar_from_different_maps()
392 : __imm(bpf_map_lookup_elem), in maps_but_same_value_properties()
[all …]
|
| D | verifier_sock.c | 120 : __imm(bpf_sk_fullsock), in sk_no_skb_sk_check_1()
141 : __imm(bpf_sk_fullsock), in no_null_check_on_ret_1()
165 : __imm(bpf_sk_fullsock), in sk_sk_type_fullsock_field_2()
188 : __imm(bpf_sk_fullsock), in sk_family_non_fullsock_field_2()
212 : __imm(bpf_sk_fullsock), in sk_sk_state_narrow_load()
236 : __imm(bpf_sk_fullsock), in port_word_load_backward_compatibility()
260 : __imm(bpf_sk_fullsock), in sk_dst_port_half_load()
285 : __imm(bpf_sk_fullsock), in dst_port_half_load_invalid_1()
310 : __imm(bpf_sk_fullsock), in sk_dst_port_byte_load()
336 : __imm(bpf_sk_fullsock), in dst_port_byte_load_invalid()
[all …]
|
| D | verifier_bounds.c | 41 : __imm(bpf_map_lookup_elem), in bounds_map_value_variant_1()
72 : __imm(bpf_map_lookup_elem), in bounds_map_value_variant_2()
105 : __imm(bpf_map_lookup_elem), in subtraction_on_pointers_for_unpriv()
135 : __imm(bpf_map_lookup_elem), in based_on_zero_extended_mov()
166 : __imm(bpf_map_lookup_elem), in on_sign_extended_mov_test1()
197 : __imm(bpf_map_lookup_elem), in on_sign_extended_mov_test2()
224 : __imm(bpf_map_lookup_elem), in var_off_insn_off_test1()
253 : __imm(bpf_map_lookup_elem), in var_off_insn_off_test2()
295 : __imm(bpf_map_lookup_elem), in of_non_boundary_crossing_range()
336 : __imm(bpf_map_lookup_elem), in of_boundary_crossing_range_1()
[all …]
|
| D | verifier_raw_stack.c | 40 : __imm(bpf_skb_load_bytes) in skb_load_bytes_negative_len()
59 : __imm(bpf_skb_load_bytes), in load_bytes_negative_len_2()
79 : __imm(bpf_skb_load_bytes) in skb_load_bytes_zero_len()
98 : __imm(bpf_skb_load_bytes) in skb_load_bytes_no_init()
119 : __imm(bpf_skb_load_bytes) in stack_skb_load_bytes_init()
144 : __imm(bpf_skb_load_bytes), in bytes_spilled_regs_around_bounds()
168 : __imm(bpf_skb_load_bytes), in __flag()
199 : __imm(bpf_skb_load_bytes), in __flag()
230 : __imm(bpf_skb_load_bytes), in load_bytes_spilled_regs_data()
251 : __imm(bpf_skb_load_bytes) in load_bytes_invalid_access_1()
[all …]
|
| D | verifier_array_access.c | 56 : __imm(bpf_map_lookup_elem), in an_array_with_a_constant_1()
83 : __imm(bpf_map_lookup_elem), in __flag()
111 : __imm(bpf_map_lookup_elem), in __flag()
144 : __imm(bpf_map_lookup_elem), in __flag()
169 : __imm(bpf_map_lookup_elem), in an_array_with_a_constant_2()
198 : __imm(bpf_map_lookup_elem), in __flag()
228 : __imm(bpf_map_lookup_elem), in __flag()
259 : __imm(bpf_map_lookup_elem), in __flag()
291 : __imm(bpf_map_lookup_elem), in __flag()
325 : __imm(bpf_map_lookup_elem), in __flag()
[all …]
|
| D | verifier_helper_packet_access.c | 33 : __imm(bpf_map_update_elem), in test1_valid_packet_ptr_range()
52 : __imm(bpf_map_lookup_elem), in packet_test2_unchecked_packet_ptr()
81 : __imm(bpf_map_lookup_elem), in to_packet_test3_variable_add()
106 : __imm(bpf_map_lookup_elem), in packet_ptr_with_bad_range_1()
130 : __imm(bpf_map_lookup_elem), in ptr_with_too_short_range_1()
155 : __imm(bpf_map_update_elem), in cls_valid_packet_ptr_range()
174 : __imm(bpf_map_lookup_elem), in test7_cls_unchecked_packet_ptr()
203 : __imm(bpf_map_lookup_elem), in packet_test8_cls_variable_add()
228 : __imm(bpf_map_lookup_elem), in packet_ptr_with_bad_range_2()
252 : __imm(bpf_map_lookup_elem), in ptr_with_too_short_range_2()
[all …]
|
| D | verifier_ctx.c | 49 : __imm(bpf_csum_update) in unmodified_ctx_pointer_to_helper()
65 : __imm(bpf_csum_update) in ctx_pointer_to_helper_1()
81 : __imm(bpf_get_socket_cookie) in ctx_pointer_to_helper_2()
99 : __imm(bpf_csum_update) in ctx_pointer_to_helper_3()
113 : __imm(bpf_get_netns_cookie) in or_null_check_1_ctx()
128 : __imm(bpf_get_netns_cookie) in or_null_check_2_null()
143 : __imm(bpf_get_netns_cookie) in or_null_check_3_1()
158 : __imm(bpf_get_netns_cookie) in null_check_4_ctx_const()
173 : __imm(bpf_get_netns_cookie) in null_check_5_null_connect()
188 : __imm(bpf_get_netns_cookie) in null_check_6_null_bind()
[all …]
|
| D | verifier_search_pruning.c | 49 : __imm(bpf_map_lookup_elem), in __retval()
73 : __imm(bpf_map_lookup_elem), in __retval()
121 : __imm(bpf_map_lookup_elem), in __flag()
155 : __imm(bpf_ktime_get_ns), in should_be_verified_nop_operation()
156 __imm(bpf_map_lookup_elem), in should_be_verified_nop_operation()
187 : __imm(bpf_ktime_get_ns), in be_verified_invalid_stack_access()
188 __imm(bpf_map_lookup_elem), in be_verified_invalid_stack_access()
226 : __imm(bpf_get_prandom_u32), in tracking_for_u32_spill_fill()
227 __imm(bpf_map_lookup_elem), in tracking_for_u32_spill_fill()
268 : __imm(bpf_get_prandom_u32) in for_u32_spills_u64_fill()
[all …]
|
| D | verifier_cgroup_storage.c | 44 : __imm(bpf_get_local_storage), in valid_cgroup_storage_access()
64 : __imm(bpf_get_local_storage), in invalid_cgroup_storage_access_1()
83 : __imm(bpf_get_local_storage), in invalid_cgroup_storage_access_2()
103 : __imm(bpf_get_local_storage), in invalid_cgroup_storage_access_3()
124 : __imm(bpf_get_local_storage), in __flag()
144 : __imm(bpf_get_local_storage), in invalid_cgroup_storage_access_5()
164 : __imm(bpf_get_local_storage), in invalid_cgroup_storage_access_6()
183 : __imm(bpf_get_local_storage), in per_cpu_cgroup_storage_access()
203 : __imm(bpf_get_local_storage), in cpu_cgroup_storage_access_1()
222 : __imm(bpf_get_local_storage), in cpu_cgroup_storage_access_2()
[all …]
|
| D | verifier_runtime_jit.c | 64 : __imm(bpf_tail_call), in dummy_prog_loop1_socket()
80 : __imm(bpf_tail_call), in dummy_prog_loop2_socket()
97 : __imm(bpf_tail_call), in call_within_bounds_prog_once()
114 : __imm(bpf_tail_call), in call_within_bounds_prog_loop()
131 : __imm(bpf_tail_call), in call_within_bounds_no_prog()
148 : __imm(bpf_tail_call), in call_within_bounds_key_2()
172 : __imm(bpf_tail_call), in _2_key_2_first_branch()
197 : __imm(bpf_tail_call), in _2_key_2_second_branch()
222 : __imm(bpf_tail_call), in _0_key_2_first_branch()
247 : __imm(bpf_tail_call), in _0_key_2_second_branch()
[all …]
|
| D | verifier_scalar_ids.c | 36 : __imm(bpf_ktime_get_ns) in __flag()
74 : __imm(bpf_ktime_get_ns) in __flag()
111 : __imm(bpf_ktime_get_ns) in __flag()
157 : __imm(bpf_ktime_get_ns) in __flag()
211 : __imm(bpf_ktime_get_ns) in __flag()
273 : __imm(bpf_ktime_get_ns) in __flag()
340 : __imm(bpf_ktime_get_ns) in __flag()
391 : __imm(bpf_ktime_get_ns) in __flag()
446 : __imm(bpf_ktime_get_ns) in __flag()
492 : __imm(bpf_ktime_get_ns) in __flag()
[all …]
|
| D | verifier_value_or_null.c | 47 : __imm(bpf_map_lookup_elem), in share_map_lookup_elem_result()
72 : __imm(bpf_map_lookup_elem), in map_value_or_null_1()
96 : __imm(bpf_map_lookup_elem), in map_value_or_null_2()
120 : __imm(bpf_map_lookup_elem), in map_value_or_null_3()
148 : __imm(bpf_map_lookup_elem), in multiple_map_lookup_elem_calls()
178 : __imm(bpf_map_lookup_elem), in with_2nd_lookup_in_branch()
207 : __imm(bpf_map_lookup_elem), in __flag()
232 : __imm(bpf_map_lookup_elem), in lookup_and_null_branch_prediction()
282 : __imm(bpf_ktime_get_ns), in __flag()
283 __imm(bpf_map_lookup_elem), in __flag()
|
| D | verifier_unpriv.c | 75 : __imm(bpf_tail_call), in dummy_prog_loop1_socket()
172 : __imm(bpf_trace_printk) in check_that_printk_is_disallowed()
194 : __imm(bpf_map_update_elem), in pass_pointer_to_helper_function()
215 : __imm(bpf_map_lookup_elem), in on_stack_to_helper_function()
306 : __imm(bpf_get_hash_recalc) in spill_fill_of_ctx_2()
324 : __imm(bpf_get_hash_recalc) in spill_fill_of_ctx_3()
343 : __imm(bpf_get_hash_recalc) in spill_fill_of_ctx_4()
431 : __imm(bpf_sk_lookup_tcp), in pointers_stx_ctx_and_sock()
432 __imm(bpf_sk_release), in pointers_stx_ctx_and_sock()
468 : __imm(bpf_sk_lookup_tcp), in different_pointers_stx_leak_sock()
[all …]
|
| D | verifier_ringbuf.c | 47 : __imm(bpf_ringbuf_reserve), in ringbuf_invalid_reservation_offset_1()
48 __imm(bpf_ringbuf_submit), in ringbuf_invalid_reservation_offset_1()
87 : __imm(bpf_ringbuf_reserve), in ringbuf_invalid_reservation_offset_2()
88 __imm(bpf_ringbuf_submit), in ringbuf_invalid_reservation_offset_2()
124 : __imm(bpf_fib_lookup), in passing_rb_mem_to_helpers()
125 __imm(bpf_ringbuf_reserve), in passing_rb_mem_to_helpers()
126 __imm(bpf_ringbuf_submit), in passing_rb_mem_to_helpers()
|
| D | verifier_movsx.c | 89 : __imm(bpf_get_prandom_u32) in mov32sx_s8_range()
111 : __imm(bpf_get_prandom_u32) in mov32sx_s16_range()
132 : __imm(bpf_get_prandom_u32) in mov32sx_s16_range_2()
154 : __imm(bpf_get_prandom_u32) in mov64sx_s8_range()
176 : __imm(bpf_get_prandom_u32) in mov64sx_s16_range()
198 : __imm(bpf_get_prandom_u32) in mov64sx_s32_range()
220 : __imm(bpf_trace_printk) in mov64sx_s16_r10()
|
| D | verifier_int_ptr.c | 32 : __imm(bpf_strtoul) in arg_ptr_to_long_uninitialized()
64 : __imm(bpf_strtoul) in ptr_to_long_half_uninitialized()
95 : __imm(bpf_strtoul) in arg_ptr_to_long_misaligned()
124 : __imm(bpf_strtoul) in to_long_size_sizeof_long()
153 : __imm(bpf_strtoul) in arg_ptr_to_long_initialized()
|
