| /linux/tools/testing/selftests/bpf/progs/ |
| H A D | verifier_sdiv.c | 22 " ::: __clobber_all); in sdiv32_non_zero_imm_1()
34 " ::: __clobber_all); in sdiv32_non_zero_imm_2()
46 " ::: __clobber_all); in sdiv32_non_zero_imm_3()
58 " ::: __clobber_all); in sdiv32_non_zero_imm_4()
70 " ::: __clobber_all); in sdiv32_non_zero_imm_5()
82 " ::: __clobber_all); in sdiv32_non_zero_imm_6()
94 " ::: __clobber_all); in sdiv32_non_zero_imm_7()
106 " ::: __clobber_all); in sdiv32_non_zero_imm_8()
119 " ::: __clobber_all); in sdiv32_non_zero_reg_1()
132 " ::: __clobber_all); in sdiv32_non_zero_reg_2()
[all …]
|
| H A D | verifier_bounds_deduction_non_const.c | 25 : __clobber_all); in deducing_bounds_from_non_const_1()
46 : __clobber_all); in deducing_bounds_from_non_const_2()
68 : __clobber_all); in deducing_bounds_from_non_const_3()
90 : __clobber_all); in deducing_bounds_from_non_const_4()
111 : __clobber_all); in deducing_bounds_from_non_const_5()
132 : __clobber_all); in deducing_bounds_from_non_const_6()
154 : __clobber_all); in deducing_bounds_from_non_const_7()
176 : __clobber_all); in deducing_bounds_from_non_const_8()
195 : __clobber_all); in deducing_bounds_from_non_const_9()
216 : __clobber_all); in deducing_bounds_from_non_const_10()
[all …]
|
| H A D | verifier_subreg.c | 35 : __clobber_all); in add32_reg_zero_extend_check()
65 : __clobber_all); in add32_imm_zero_extend_check()
82 : __clobber_all); in sub32_reg_zero_extend_check()
106 : __clobber_all); in sub32_imm_zero_extend_check()
123 : __clobber_all); in mul32_reg_zero_extend_check()
147 : __clobber_all); in mul32_imm_zero_extend_check()
164 : __clobber_all); in div32_reg_zero_extend_check()
188 : __clobber_all); in div32_imm_zero_extend_check()
205 : __clobber_all); in or32_reg_zero_extend_check()
229 : __clobber_all); in or32_imm_zero_extend_check()
[all …]
|
| H A D | verifier_unpriv.c | 77 : __clobber_all); in dummy_prog_loop1_socket()
89 " ::: __clobber_all); in __retval()
101 " ::: __clobber_all); in unpriv_add_const_to_pointer()
114 " ::: __clobber_all); in unpriv_add_pointer_to_pointer()
127 " ::: __clobber_all); in unpriv_neg_pointer()
140 " ::: __clobber_all); in unpriv_cmp_pointer_with_const()
153 " ::: __clobber_all); in unpriv_cmp_pointer_with_pointer()
173 : __clobber_all); in check_that_printk_is_disallowed()
196 : __clobber_all); in pass_pointer_to_helper_function()
217 : __clobber_all); in on_stack_to_helper_function()
[all …]
|
| H A D | verifier_bounds.c | 43 : __clobber_all); in bounds_map_value_variant_1()
74 : __clobber_all); in bounds_map_value_variant_2()
107 : __clobber_all); in subtraction_on_pointers_for_unpriv()
137 : __clobber_all); in based_on_zero_extended_mov()
168 : __clobber_all); in on_sign_extended_mov_test1()
199 : __clobber_all); in on_sign_extended_mov_test2()
228 : __clobber_all); in var_off_insn_off_test1()
258 : __clobber_all); in var_off_insn_off_test2()
297 : __clobber_all); in of_non_boundary_crossing_range()
339 : __clobber_all); in of_boundary_crossing_range_1()
[all …]
|
| H A D | verifier_value_ptr_arith.c | 77 : __clobber_all); in value_ptr_unknown_vs_const()
115 : __clobber_all); in value_ptr_const_vs_unknown()
151 : __clobber_all); in ptr_const_vs_const_ne()
185 : __clobber_all); in ptr_const_vs_const_eq()
223 : __clobber_all); in ptr_unknown_vs_unknown_eq()
263 : __clobber_all); in ptr_unknown_vs_unknown_lt()
303 : __clobber_all); in ptr_unknown_vs_unknown_gt()
333 : __clobber_all); in value_ptr_from_different_maps()
366 : __clobber_all); in known_scalar_from_different_maps()
396 : __clobber_all); in maps_but_same_value_properties()
[all …]
|
| H A D | verifier_ref_tracking.c | 107 : __clobber_all); in dummy_prog_loop1_tc()
122 : __clobber_all); in reference_tracking_leak_potential_reference()
137 : __clobber_all); in potential_reference_to_sock_common_1()
155 : __clobber_all); in leak_potential_reference_on_stack()
175 : __clobber_all); in potential_reference_on_stack_2()
190 : __clobber_all); in reference_tracking_zero_potential_reference()
205 : __clobber_all); in potential_reference_to_sock_common_2()
222 : __clobber_all); in copy_and_zero_potential_references()
242 : __clobber_all); in acquire_release_user_key_reference()
261 : __clobber_all); in acquire_release_system_key_reference()
[all …]
|
| H A D | verifier_xdp_direct_packet_access.c | 26 : __clobber_all); in end_mangling_bad_access_1()
47 : __clobber_all); in end_mangling_bad_access_2()
67 : __clobber_all); in __flag()
88 : __clobber_all); in __flag()
109 : __clobber_all); in __flag()
129 : __clobber_all); in __flag()
150 : __clobber_all); in __flag()
171 : __clobber_all); in __flag()
193 : __clobber_all); in __flag()
214 : __clobber_all); in __flag()
[all …]
|
| H A D | verifier_helper_value_access.c | 64 : __clobber_all); in access_to_map_full_range()
89 : __clobber_all); in access_to_map_partial_range()
118 : __clobber_all); in access_to_map_empty_range()
150 : __clobber_all); in access_to_map_possibly_empty_range()
176 : __clobber_all); in map_out_of_bound_range()
201 : __clobber_all); in access_to_map_negative_range()
229 : __clobber_all); in via_const_imm_full_range()
256 : __clobber_all); in via_const_imm_partial_range()
282 : __clobber_all); in via_const_imm_empty_range()
310 : __clobber_all); in imm_out_of_bound_range()
[all …]
|
| H A D | verifier_stack_ptr.c | 35 " ::: __clobber_all); in ptr_to_stack_store_load()
51 " ::: __clobber_all); in load_bad_alignment_on_off()
67 " ::: __clobber_all); in load_bad_alignment_on_reg()
83 " ::: __clobber_all); in load_out_of_bounds_low()
99 " ::: __clobber_all); in load_out_of_bounds_high()
114 " ::: __clobber_all); in to_stack_check_high_1()
128 " ::: __clobber_all); in to_stack_check_high_2()
145 " ::: __clobber_all); in to_stack_check_high_3()
161 " ::: __clobber_all); in to_stack_check_high_4()
179 : __clobber_all); in to_stack_check_high_5()
[all …]
|
| H A D | verifier_helper_access_var_len.c | 63 : __clobber_all); in bitwise_and_jmp_correct_bounds()
98 : __clobber_all); in stack_bitwise_and_zero_included()
121 : __clobber_all); in bitwise_and_jmp_wrong_max()
153 : __clobber_all); in memory_stack_jmp_correct_bounds()
185 : __clobber_all); in stack_jmp_signed_correct_bounds()
209 : __clobber_all); in memory_stack_jmp_bounds_offset()
232 : __clobber_all); in memory_stack_jmp_wrong_max()
256 : __clobber_all); in stack_jmp_no_max_check()
292 : __clobber_all); in stack_jmp_no_min_check()
313 : __clobber_all); in jmp_signed_no_min_check()
[all …]
|
| H A D | verifier_loops1.c | 18 " ::: __clobber_all); in bounded_loop_count_to_4()
31 " ::: __clobber_all); in bounded_loop_count_to_20()
47 : __clobber_all); in from_positive_unknown_to_4()
62 : __clobber_all); in from_totally_unknown_to_4()
75 " ::: __clobber_all); in count_to_4_with_equality()
90 " ::: __clobber_all); in loop_start_in_the_middle()
104 " ::: __clobber_all); in loop_containing_a_forward_jump()
121 : __clobber_all); in jumps_out_rather_than_in()
135 " ::: __clobber_all); in loop_after_a_conditional_jump()
149 " ::: __clobber_all); in bounded_recursion()
[all …]
|
| H A D | verifier_masking.c | 25 : __clobber_all); in test_out_of_bounds_1()
45 : __clobber_all); in test_out_of_bounds_2()
65 : __clobber_all); in test_out_of_bounds_3()
85 : __clobber_all); in test_out_of_bounds_4()
105 : __clobber_all); in test_out_of_bounds_5()
125 : __clobber_all); in test_out_of_bounds_6()
145 : __clobber_all); in test_out_of_bounds_7()
165 : __clobber_all); in test_out_of_bounds_8()
185 : __clobber_all); in test_out_of_bounds_9()
205 : __clobber_all); in test_out_of_bounds_10()
[all …]
|
| H A D | verifier_sock.c | 66 : __clobber_all); in skb_sk_no_null_check()
85 : __clobber_all); in sk_family_non_fullsock_field_1()
105 : __clobber_all); in sk_sk_type_fullsock_field_1()
122 : __clobber_all); in sk_no_skb_sk_check_1()
144 : __clobber_all); in no_null_check_on_ret_1()
168 : __clobber_all); in sk_sk_type_fullsock_field_2()
191 : __clobber_all); in sk_family_non_fullsock_field_2()
215 : __clobber_all); in sk_sk_state_narrow_load()
239 : __clobber_all); in port_word_load_backward_compatibility()
263 : __clobber_all); in sk_dst_port_half_load()
[all …]
|
| H A D | verifier_direct_packet_access.c | 21 : __clobber_all); in __retval()
41 : __clobber_all); in direct_packet_access_test1()
76 : __clobber_all); in direct_packet_access_test2()
91 : __clobber_all); in direct_packet_access_test3()
111 : __clobber_all); in direct_packet_access_test4_write()
133 : __clobber_all); in pkt_end_reg_good_access()
155 : __clobber_all); in pkt_end_reg_bad_access()
178 : __clobber_all); in pkt_end_reg_both_accesses()
202 : __clobber_all); in test8_double_test_variant_1()
226 : __clobber_all); in test9_double_test_variant_2()
[all …]
|
| H A D | verifier_spill_fill.c | 29 " ::: __clobber_all); in __retval()
45 : __clobber_all); in valid_spill_fill_skb_mark()
82 : __clobber_all); in spill_fill_ptr_to_mem()
118 : __clobber_all); in with_invalid_reg_offset_0()
141 " ::: __clobber_all); in __flag()
156 " ::: __clobber_all); in __retval()
171 " ::: __clobber_all); in __retval()
197 : __clobber_all); in scalar_offset_to_skb_data_1()
215 " ::: __clobber_all); in uninit_u32_from_the_stack()
247 : __clobber_all); in u16_offset_to_skb_data()
[all …]
|
| H A D | verifier_div0.c | 19 " ::: __clobber_all); in by_0_zero_check_1_1()
33 " ::: __clobber_all); in by_0_zero_check_2_1()
47 " ::: __clobber_all); in div64_by_0_zero_check()
61 " ::: __clobber_all); in by_0_zero_check_1_2()
75 " ::: __clobber_all); in by_0_zero_check_2_2()
89 " ::: __clobber_all); in mod64_by_0_zero_check()
104 " ::: __clobber_all); in _0_zero_check_ok_cls_1()
117 " ::: __clobber_all); in _0_zero_check_1_cls_1()
130 " ::: __clobber_all); in _0_zero_check_2_cls_1()
143 " ::: __clobber_all); in by_0_zero_check_cls()
[all …]
|
| H A D | verifier_raw_stack.c | 23 " ::: __clobber_all); in stack_no_skb_load_bytes()
42 : __clobber_all); in skb_load_bytes_negative_len()
62 : __clobber_all); in load_bytes_negative_len_2()
81 : __clobber_all); in skb_load_bytes_zero_len()
100 : __clobber_all); in skb_load_bytes_no_init()
121 : __clobber_all); in stack_skb_load_bytes_init()
148 : __clobber_all); in bytes_spilled_regs_around_bounds()
171 : __clobber_all); in __flag()
204 : __clobber_all); in __flag()
234 : __clobber_all); in load_bytes_spilled_regs_data()
[all …]
|
| H A D | verifier_ctx.c | 19 : __clobber_all); in context_stores_via_bpf_atomic()
35 : __clobber_all); in make_ptr_to_ctx_unusable()
50 : __clobber_all); in unmodified_ctx_pointer_to_helper()
66 : __clobber_all); in ctx_pointer_to_helper_1()
82 : __clobber_all); in ctx_pointer_to_helper_2()
100 : __clobber_all); in ctx_pointer_to_helper_3()
114 : __clobber_all); in or_null_check_1_ctx()
129 : __clobber_all); in or_null_check_2_null()
144 : __clobber_all); in or_null_check_3_1()
159 : __clobber_all); in null_check_4_ctx_const()
[all …]
|
| H A D | verifier_scalar_ids.c | 37 : __clobber_all); in __flag()
75 : __clobber_all); in __flag()
112 : __clobber_all); in __flag()
158 : __clobber_all); in __flag()
212 : __clobber_all); in __flag()
226 ::: __clobber_all); in precision_many_frames__foo()
242 ::: __clobber_all); in precision_many_frames__bar()
274 : __clobber_all); in __flag()
293 ::: __clobber_all); in precision_stack__foo()
341 : __clobber_all); in __flag()
[all …]
|
| H A D | verifier_bounds_mix_sign_unsign.c | 44 : __clobber_all); in signed_and_unsigned_positive_bounds()
76 : __clobber_all); in checks_mixing_signed_and_unsigned()
110 : __clobber_all); in signed_and_unsigned_variant_2()
143 : __clobber_all); in signed_and_unsigned_variant_3()
174 : __clobber_all); in signed_and_unsigned_variant_4()
207 : __clobber_all); in signed_and_unsigned_variant_5()
238 : __clobber_all); in signed_and_unsigned_variant_6()
270 : __clobber_all); in signed_and_unsigned_variant_7()
304 : __clobber_all); in signed_and_unsigned_variant_8()
337 : __clobber_all); in signed_and_unsigned_variant_9()
[all …]
|
| H A D | verifier_helper_packet_access.c | 37 : __clobber_all); in test1_valid_packet_ptr_range()
55 : __clobber_all); in packet_test2_unchecked_packet_ptr()
85 : __clobber_all); in to_packet_test3_variable_add()
110 : __clobber_all); in packet_ptr_with_bad_range_1()
134 : __clobber_all); in ptr_with_too_short_range_1()
159 : __clobber_all); in cls_valid_packet_ptr_range()
177 : __clobber_all); in test7_cls_unchecked_packet_ptr()
207 : __clobber_all); in packet_test8_cls_variable_add()
232 : __clobber_all); in packet_ptr_with_bad_range_2()
256 : __clobber_all); in ptr_with_too_short_range_2()
[all …]
|
| H A D | verifier_var_off.c | 32 " ::: __clobber_all); in variable_offset_ctx_access()
59 " ::: __clobber_all); in stack_read_priv_vs_unpriv()
82 " ::: __clobber_all); in variable_offset_stack_read_uninitialized()
113 " ::: __clobber_all); in stack_write_priv_vs_unpriv()
154 " ::: __clobber_all); in stack_write_followed_by_read()
201 : __clobber_all); in stack_write_clobbers_spilled_regs()
234 : __clobber_all); in variable_offset_stack_access_unbounded()
263 : __clobber_all); in access_max_out_of_bound()
292 : __clobber_all); in zero_sized_access_max_out_of_bound()
321 : __clobber_all); in access_min_out_of_bound()
[all …]
|
| H A D | verifier_cfg.c | 17 " ::: __clobber_all); in unreachable()
30 " ::: __clobber_all); in unreachable2()
43 " ::: __clobber_all); in out_of_range_jump()
55 " ::: __clobber_all); in out_of_range_jump2()
67 " ::: __clobber_all); in loop_back_edge()
82 " ::: __clobber_all); in loop2_back_edge()
97 " ::: __clobber_all); in conditional_loop()
119 " ::: __clobber_all); in conditional_loop2()
134 " ::: __clobber_all); in uncond_loop_after_cond_jmp()
144 " ::: __clobber_all); in never_ending_subprog()
[all …]
|
| H A D | verifier_movsx.c | 22 " ::: __clobber_all); in mov32sx_s8()
34 " ::: __clobber_all); in mov32sx_s16()
46 " ::: __clobber_all); in mov64sx_s8()
58 " ::: __clobber_all); in mov64sx_s16()
71 " ::: __clobber_all); in mov64sx_s32()
93 : __clobber_all); in mov32sx_s8_range()
115 : __clobber_all); in mov32sx_s16_range()
136 : __clobber_all); in mov32sx_s16_range_2()
158 : __clobber_all); in mov64sx_s8_range()
180 : __clobber_all); in mov64sx_s16_range()
[all...] |