| /linux/tools/testing/selftests/bpf/progs/ |
| H A 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 …]
|
| H A 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()
115 : __imm(bpf_map_lookup_elem), in access_to_map_empty_range()
116 __imm(bpf_trace_printk), in access_to_map_empty_range()
147 : __imm(bpf_map_lookup_elem), in access_to_map_possibly_empty_range()
148 __imm(bpf_trace_printk), in access_to_map_possibly_empty_range()
172 : __imm(bpf_map_lookup_elem), in map_out_of_bound_range()
173 __imm(bpf_probe_read_kernel), in map_out_of_bound_range()
[all …]
|
| H A 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 …]
|
| H A 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 …]
|
| H A D | verifier_bounds.c | 42 : __imm(bpf_map_lookup_elem), in bounds_map_value_variant_1()
73 : __imm(bpf_map_lookup_elem), in bounds_map_value_variant_2()
106 : __imm(bpf_map_lookup_elem), in subtraction_on_pointers_for_unpriv()
136 : __imm(bpf_map_lookup_elem), in based_on_zero_extended_mov()
167 : __imm(bpf_map_lookup_elem), in on_sign_extended_mov_test1()
198 : __imm(bpf_map_lookup_elem), in on_sign_extended_mov_test2()
225 : __imm(bpf_map_lookup_elem), in var_off_insn_off_test1()
254 : __imm(bpf_map_lookup_elem), in var_off_insn_off_test2()
296 : __imm(bpf_map_lookup_elem), in of_non_boundary_crossing_range()
337 : __imm(bpf_map_lookup_elem), in of_boundary_crossing_range_1()
[all …]
|
| H A 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 …]
|
| H A 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 …]
|
| H A 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_u3 in or32_imm_zero_extend_check()
[all...] |
| H A D | verifier_bpf_fastcall.c | 41 : __imm(bpf_get_smp_processor_id) in simple()
77 : __imm(bpf_get_smp_processor_id) in canary_arm64_riscv64()
93 : __imm(bpf_get_smp_processor_id) in canary_zero_spills()
115 : __imm(bpf_get_smp_processor_id) in wrong_reg_in_pattern1()
136 : __imm(bpf_get_smp_processor_id) in wrong_reg_in_pattern2()
157 : __imm(bpf_get_smp_processor_id) in wrong_reg_in_pattern3()
179 : __imm(bpf_get_smp_processor_id) in wrong_base_in_pattern()
201 : __imm(bpf_get_smp_processor_id) in wrong_insn_in_pattern()
223 : __imm(bpf_get_smp_processor_id) in wrong_off_in_pattern1()
244 : __imm(bpf_get_smp_processor_id) in wrong_off_in_pattern2()
[all …]
|
| H A 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()
263 : __imm(bpf_map_lookup_elem), in ptr_unknown_vs_unknown_lt()
267 __imm(bpf_get_prandom_u32) in ptr_unknown_vs_unknown_lt()
308 : __imm(bpf_map_lookup_elem), in ptr_unknown_vs_unknown_gt()
312 __imm(bpf_get_prandom_u32) in ptr_unknown_vs_unknown_gt()
339 : __imm(bpf_map_lookup_elem), in value_ptr_from_different_maps()
[all …]
|
| H A 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 …]
|
| H A D | verifier_helper_restricted.c | 30 : __imm(bpf_ktime_get_coarse_ns)
44 : __imm(bpf_ktime_get_coarse_ns)
58 : __imm(bpf_ktime_get_coarse_ns)
72 : __imm(bpf_ktime_get_coarse_ns)
93 : __imm(bpf_map_lookup_elem), in in_bpf_prog_type_kprobe_2()
94 __imm(bpf_spin_lock), in in_bpf_prog_type_kprobe_2()
116 : __imm(bpf_map_lookup_elem), in bpf_prog_type_perf_event_2()
117 __imm(bpf_spin_lock), in bpf_prog_type_perf_event_2()
139 : __imm(bpf_map_lookup_elem),
140 __imm(bpf_spin_loc
[all...] |
| H A D | verifier_linked_scalars.c | 64 : __imm(bpf_get_prandom_u32) in sync_linked_regs_preserves_id()
84 : __imm(bpf_get_prandom_u32) in scalars_neg()
105 : __imm(bpf_get_prandom_u32) in scalars_neg_sub()
126 : __imm(bpf_get_prandom_u32) in scalars_neg_alu32_add()
147 : __imm(bpf_get_prandom_u32) in scalars_neg_alu32_sub()
168 : __imm(bpf_get_prandom_u32) in scalars_pos()
189 : __imm(bpf_get_prandom_u32) in scalars_sub_neg_imm()
212 : __imm(bpf_get_prandom_u32) in scalars_double_add()
238 : __imm(bpf_get_prandom_u32), in scalars_sync_delta_overflow()
265 : __imm(bpf_get_prandom_u32), in scalars_sync_delta_overflow_large_range()
[all …]
|
| H A D | iters.c | 82 __imm(bpf_iter_num_new), in iter_err_unsafe_asm_loop()
83 __imm(bpf_iter_num_next), in iter_err_unsafe_asm_loop()
84 __imm(bpf_iter_num_destroy) in iter_err_unsafe_asm_loop()
787 : __imm(bpf_get_prandom_u32), in delayed_read_mark()
788 __imm(bpf_iter_num_new), in delayed_read_mark()
789 __imm(bpf_iter_num_next), in delayed_read_mark()
790 __imm(bpf_iter_num_destroy), in delayed_read_mark()
791 __imm(bpf_probe_read_user) in delayed_read_mark()
866 : __imm(bpf_get_prandom_u32), in delayed_precision_mark()
867 __imm(bpf_iter_num_ne in delayed_precision_mark()
[all...] |
| H A D | verifier_sock.c | 123 : __imm(bpf_sk_fullsock), in sk_no_skb_sk_check_1()
144 : __imm(bpf_sk_fullsock), in no_null_check_on_ret_1()
168 : __imm(bpf_sk_fullsock), in sk_sk_type_fullsock_field_2()
191 : __imm(bpf_sk_fullsock), in sk_family_non_fullsock_field_2()
215 : __imm(bpf_sk_fullsock), in sk_sk_state_narrow_load()
239 : __imm(bpf_sk_fullsock), in port_word_load_backward_compatibility()
263 : __imm(bpf_sk_fullsock), in sk_dst_port_half_load()
288 : __imm(bpf_sk_fullsock), in dst_port_half_load_invalid_1()
313 : __imm(bpf_sk_fullsock), in sk_dst_port_byte_load()
339 : __imm(bpf_sk_fullsock), in dst_port_byte_load_invalid()
[all …]
|
| H A D | verifier_raw_stack.c | 41 : __imm(bpf_skb_load_bytes) in skb_load_bytes_negative_len()
60 : __imm(bpf_skb_load_bytes), in load_bytes_negative_len_2()
80 : __imm(bpf_skb_load_bytes) in skb_load_bytes_zero_len()
99 : __imm(bpf_skb_load_bytes) in skb_load_bytes_no_init()
120 : __imm(bpf_skb_load_bytes) in stack_skb_load_bytes_init()
145 : __imm(bpf_skb_load_bytes), in bytes_spilled_regs_around_bounds()
169 : __imm(bpf_skb_load_bytes), in __flag()
200 : __imm(bpf_skb_load_bytes), in __flag()
231 : __imm(bpf_skb_load_bytes), in load_bytes_spilled_regs_data()
252 : __imm(bpf_skb_load_bytes) in load_bytes_invalid_access_1()
[all …]
|
| H A D | verifier_scalar_ids.c | 49 : __imm(bpf_ktime_get_ns) in __flag()
85 : __imm(bpf_ktime_get_ns) in __flag()
122 : __imm(bpf_ktime_get_ns) in __flag()
162 : __imm(bpf_ktime_get_ns) in __flag()
223 : __imm(bpf_ktime_get_ns) in __flag()
292 : __imm(bpf_ktime_get_ns) in __flag()
365 : __imm(bpf_ktime_get_ns) in __flag()
411 : __imm(bpf_ktime_get_ns) in __flag()
444 : __imm(bpf_get_prandom_u32) in __flag()
470 : __imm(bpf_ktime_get_ns) in cjmp_no_linked_regs_trigger()
[all …]
|
| H A 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 …]
|
| H A 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 …]
|
| H A 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 …]
|
| H A D | verifier_search_pruning.c | 50 : __imm(bpf_map_lookup_elem), in __retval()
74 : __imm(bpf_map_lookup_elem), in __retval()
122 : __imm(bpf_map_lookup_elem), in __flag()
156 : __imm(bpf_ktime_get_ns), in should_be_verified_nop_operation()
157 __imm(bpf_map_lookup_elem), in should_be_verified_nop_operation()
188 : __imm(bpf_ktime_get_ns), in be_verified_invalid_stack_access()
189 __imm(bpf_map_lookup_elem), in be_verified_invalid_stack_access()
227 : __imm(bpf_get_prandom_u32), in tracking_for_u32_spill_fill()
228 __imm(bpf_map_lookup_elem), in tracking_for_u32_spill_fill()
269 : __imm(bpf_get_prandom_u32) in for_u32_spills_u64_fill()
[all …]
|
| H A D | verifier_array_access.c | 70 : __imm(bpf_map_lookup_elem), in an_array_with_a_constant_1()
97 : __imm(bpf_map_lookup_elem), in __flag()
125 : __imm(bpf_map_lookup_elem), in __flag()
158 : __imm(bpf_map_lookup_elem), in __flag()
183 : __imm(bpf_map_lookup_elem), in an_array_with_a_constant_2()
212 : __imm(bpf_map_lookup_elem), in __flag()
242 : __imm(bpf_map_lookup_elem), in __flag()
273 : __imm(bpf_map_lookup_elem), in __flag()
305 : __imm(bpf_map_lookup_elem), in __flag()
339 : __imm(bpf_map_lookup_elem), in __flag()
[all …]
|
| H A D | verifier_spill_fill.c | 79 : __imm(bpf_ringbuf_reserve), in spill_fill_ptr_to_mem()
80 __imm(bpf_ringbuf_submit), in spill_fill_ptr_to_mem()
115 : __imm(bpf_ringbuf_reserve), in with_invalid_reg_offset_0()
116 __imm(bpf_ringbuf_submit), in with_invalid_reg_offset_0()
421 : __imm(bpf_get_prandom_u32) in spill_32bit_of_64bit_fail()
460 : __imm(bpf_get_prandom_u32) in spill_16bit_of_32bit_fail()
496 : __imm(bpf_get_prandom_u32), in spill_subregs_preserve_stack_zero()
818 : __imm(bpf_ktime_get_ns) in spill_32bit_range_track()
852 : __imm(bpf_get_prandom_u32) in spill_64bit_of_64bit_ok()
885 : __imm(bpf_get_prandom_u32) in spill_32bit_of_32bit_ok()
[all …]
|
| H A D | verifier_live_stack.c | 55 :: __imm(bpf_get_prandom_u32) in read_write_join()
80 :: __imm(bpf_get_prandom_u32) in must_write_not_same_slot()
105 : __imm(bpf_get_prandom_u32), in must_write_not_same_type()
106 __imm(bpf_map_lookup_elem), in must_write_not_same_type()
208 : __imm(bpf_get_prandom_u32), in __flag()
249 : __imm(bpf_get_prandom_u32), in __flag()
250 __imm(bpf_loop), in __flag()
277 : __imm(bpf_map_lookup_elem), in loop_cb()
278 __imm(bpf_get_prandom_u32) in loop_cb()
326 :: __imm(bpf_get_prandom_u32) in __flag()
[all …]
|
| H A D | verifier_movsx.c | 92 : __imm(bpf_get_prandom_u32) in mov32sx_s8_range()
114 : __imm(bpf_get_prandom_u32) in mov32sx_s16_range()
135 : __imm(bpf_get_prandom_u32) in mov32sx_s16_range_2()
157 : __imm(bpf_get_prandom_u32) in mov64sx_s8_range()
179 : __imm(bpf_get_prandom_u32) in mov64sx_s16_range()
201 : __imm(bpf_get_prandom_u32) in mov64sx_s32_range()
223 : __imm(bpf_trace_printk) in mov64sx_s16_r10()
269 : __imm(bpf_get_prandom_u32) in mov64sx_s32_varoff_2()
298 : __imm(bpf_get_prandom_u32) in mov64sx_s32_varoff_3()
318 : __imm(bpf_get_prandom_u32) in mov64sx_s8_range_check()
[all …]
|