| /linux/tools/testing/selftests/bpf/progs/ |
| H A D | verifier_sdiv.c | 16 __naked void sdiv32_non_zero_imm_1(void) in sdiv32_non_zero_imm_1()
28 __naked void sdiv32_non_zero_imm_2(void) in sdiv32_non_zero_imm_2()
40 __naked void sdiv32_non_zero_imm_3(void) in sdiv32_non_zero_imm_3()
52 __naked void sdiv32_non_zero_imm_4(void) in sdiv32_non_zero_imm_4()
64 __naked void sdiv32_non_zero_imm_5(void) in sdiv32_non_zero_imm_5()
76 __naked void sdiv32_non_zero_imm_6(void) in sdiv32_non_zero_imm_6()
88 __naked void sdiv32_non_zero_imm_7(void) in sdiv32_non_zero_imm_7()
100 __naked void sdiv32_non_zero_imm_8(void) in sdiv32_non_zero_imm_8()
112 __naked void sdiv32_non_zero_reg_1(void) in sdiv32_non_zero_reg_1()
125 __naked void sdiv32_non_zero_reg_2(void) in sdiv32_non_zero_reg_2()
[all …]
|
| H A D | verifier_bounds_deduction_non_const.c | 10 __naked void deducing_bounds_from_non_const_1(void) in deducing_bounds_from_non_const_1()
31 __naked void deducing_bounds_from_non_const_2(void) in deducing_bounds_from_non_const_2()
52 __naked void deducing_bounds_from_non_const_3(void) in deducing_bounds_from_non_const_3()
74 __naked void deducing_bounds_from_non_const_4(void) in deducing_bounds_from_non_const_4()
96 __naked void deducing_bounds_from_non_const_5(void) in deducing_bounds_from_non_const_5()
117 __naked void deducing_bounds_from_non_const_6(void) in deducing_bounds_from_non_const_6()
138 __naked void deducing_bounds_from_non_const_7(void) in deducing_bounds_from_non_const_7()
160 __naked void deducing_bounds_from_non_const_8(void) in deducing_bounds_from_non_const_8()
182 __naked void deducing_bounds_from_non_const_9(void) in deducing_bounds_from_non_const_9()
201 __naked void deducing_bounds_from_non_const_10(void) in deducing_bounds_from_non_const_10()
[all …]
|
| H A D | verifier_subreg.c | 24 __naked void add32_reg_zero_extend_check(void) in add32_reg_zero_extend_check()
41 __naked void add32_imm_zero_extend_check(void) in add32_imm_zero_extend_check()
71 __naked void sub32_reg_zero_extend_check(void) in sub32_reg_zero_extend_check()
88 __naked void sub32_imm_zero_extend_check(void) in sub32_imm_zero_extend_check()
112 __naked void mul32_reg_zero_extend_check(void) in mul32_reg_zero_extend_check()
129 __naked void mul32_imm_zero_extend_check(void) in mul32_imm_zero_extend_check()
153 __naked void div32_reg_zero_extend_check(void) in div32_reg_zero_extend_check()
170 __naked void div32_imm_zero_extend_check(void) in div32_imm_zero_extend_check()
194 __naked void or32_reg_zero_extend_check(void) in or32_reg_zero_extend_check()
211 __naked void or32_imm_zero_extend_check(void) in or32_imm_zero_extend_check()
[all …]
|
| H A D | verifier_unpriv.c | 52 __naked void dummy_prog_42_socket(void) in dummy_prog_42_socket()
59 __naked void dummy_prog_24_socket(void) in dummy_prog_24_socket()
66 __naked void dummy_prog_loop1_socket(void) in dummy_prog_loop1_socket()
84 __naked void unpriv_return_pointer(void) in __retval()
95 __naked void unpriv_add_const_to_pointer(void) in unpriv_add_const_to_pointer()
108 __naked void unpriv_add_pointer_to_pointer(void) in unpriv_add_pointer_to_pointer()
121 __naked void unpriv_neg_pointer(void) in unpriv_neg_pointer()
134 __naked void unpriv_cmp_pointer_with_const(void) in unpriv_cmp_pointer_with_const()
147 __naked void unpriv_cmp_pointer_with_pointer(void) in unpriv_cmp_pointer_with_pointer()
159 __naked void check_that_printk_is_disallowed(void) in check_that_printk_is_disallowed()
[all …]
|
| H A D | verifier_ref_tracking.c | 82 __naked void dummy_prog_42_tc(void) in dummy_prog_42_tc()
89 __naked void dummy_prog_24_tc(void) in dummy_prog_24_tc()
96 __naked void dummy_prog_loop1_tc(void) in dummy_prog_loop1_tc()
113 __naked void reference_tracking_leak_potential_reference(void) in reference_tracking_leak_potential_reference()
128 __naked void potential_reference_to_sock_common_1(void) in potential_reference_to_sock_common_1()
143 __naked void leak_potential_reference_on_stack(void) in leak_potential_reference_on_stack()
161 __naked void potential_reference_on_stack_2(void) in potential_reference_on_stack_2()
181 __naked void reference_tracking_zero_potential_reference(void) in reference_tracking_zero_potential_reference()
196 __naked void potential_reference_to_sock_common_2(void) in potential_reference_to_sock_common_2()
211 __naked void copy_and_zero_potential_references(void) in copy_and_zero_potential_references()
[all …]
|
| H A D | verifier_bounds.c | 19 __naked void bounds_map_value_variant_1(void) in bounds_map_value_variant_1()
51 __naked void bounds_map_value_variant_2(void) in bounds_map_value_variant_2()
81 __naked void subtraction_on_pointers_for_unpriv(void) in subtraction_on_pointers_for_unpriv()
113 __naked void based_on_zero_extended_mov(void) in based_on_zero_extended_mov()
144 __naked void on_sign_extended_mov_test1(void) in on_sign_extended_mov_test1()
175 __naked void on_sign_extended_mov_test2(void) in on_sign_extended_mov_test2()
205 __naked void var_off_insn_off_test1(void) in var_off_insn_off_test1()
234 __naked void var_off_insn_off_test2(void) in var_off_insn_off_test2()
264 __naked void of_non_boundary_crossing_range(void) in of_non_boundary_crossing_range()
306 __naked void of_boundary_crossing_range_1(void) in of_boundary_crossing_range_1()
[all …]
|
| H A D | verifier_value_ptr_arith.c | 47 __naked void value_ptr_unknown_vs_const(void) in value_ptr_unknown_vs_const()
85 __naked void value_ptr_const_vs_unknown(void) in value_ptr_const_vs_unknown()
123 __naked void ptr_const_vs_const_ne(void) in ptr_const_vs_const_ne()
157 __naked void ptr_const_vs_const_eq(void) in ptr_const_vs_const_eq()
191 __naked void ptr_unknown_vs_unknown_eq(void) in ptr_unknown_vs_unknown_eq()
231 __naked void ptr_unknown_vs_unknown_lt(void) in ptr_unknown_vs_unknown_lt()
271 __naked void ptr_unknown_vs_unknown_gt(void) in ptr_unknown_vs_unknown_gt()
309 __naked void value_ptr_from_different_maps(void) in value_ptr_from_different_maps()
341 __naked void known_scalar_from_different_maps(void) in known_scalar_from_different_maps()
372 __naked void maps_but_same_value_properties(void) in maps_but_same_value_properties()
[all …]
|
| H A D | verifier_xdp_direct_packet_access.c | 11 __naked void end_mangling_bad_access_1(void) in end_mangling_bad_access_1()
32 __naked void end_mangling_bad_access_2(void) in end_mangling_bad_access_2()
53 __naked void end_corner_case_good_access_1(void) in __flag()
74 __naked void pkt_end_bad_access_1_1(void) in __flag()
95 __naked void pkt_end_bad_access_2_1(void) in __flag()
115 __naked void corner_case_1_good_access_1(void) in __flag()
136 __naked void corner_case_1_bad_access_1(void) in __flag()
156 __naked void end_pkt_data_good_access_1(void) in __flag()
178 __naked void corner_case_1_bad_access_2(void) in __flag()
200 __naked void pkt_data_bad_access_2_1(void) in __flag()
[all …]
|
| H A D | verifier_helper_value_access.c | 44 __naked void access_to_map_full_range(void) in access_to_map_full_range()
70 __naked void access_to_map_partial_range(void) in access_to_map_partial_range()
100 __naked void access_to_map_empty_range(void) in access_to_map_empty_range()
127 __naked void access_to_map_possibly_empty_range(void) in access_to_map_possibly_empty_range()
156 __naked void map_out_of_bound_range(void) in map_out_of_bound_range()
182 __naked void access_to_map_negative_range(void) in access_to_map_negative_range()
207 __naked void via_const_imm_full_range(void) in via_const_imm_full_range()
235 __naked void via_const_imm_partial_range(void) in via_const_imm_partial_range()
262 __naked void via_const_imm_empty_range(void) in via_const_imm_empty_range()
288 __naked void imm_out_of_bound_range(void) in imm_out_of_bound_range()
[all …]
|
| H A D | verifier_stack_ptr.c | 26 __naked void ptr_to_stack_store_load(void) in ptr_to_stack_store_load()
42 __naked void load_bad_alignment_on_off(void) in load_bad_alignment_on_off()
58 __naked void load_bad_alignment_on_reg(void) in load_bad_alignment_on_reg()
74 __naked void load_out_of_bounds_low(void) in load_out_of_bounds_low()
90 __naked void load_out_of_bounds_high(void) in load_out_of_bounds_high()
105 __naked void to_stack_check_high_1(void) in to_stack_check_high_1()
120 __naked void to_stack_check_high_2(void) in to_stack_check_high_2()
136 __naked void to_stack_check_high_3(void) in to_stack_check_high_3()
152 __naked void to_stack_check_high_4(void) in to_stack_check_high_4()
168 __naked void to_stack_check_high_5(void) in to_stack_check_high_5()
[all …]
|
| H A D | verifier_helper_access_var_len.c | 37 __naked void bitwise_and_jmp_correct_bounds(void) in bitwise_and_jmp_correct_bounds()
72 __naked void stack_bitwise_and_zero_included(void) in stack_bitwise_and_zero_included()
104 __naked void bitwise_and_jmp_wrong_max(void) in bitwise_and_jmp_wrong_max()
127 __naked void memory_stack_jmp_correct_bounds(void) in memory_stack_jmp_correct_bounds()
159 __naked void stack_jmp_signed_correct_bounds(void) in stack_jmp_signed_correct_bounds()
191 __naked void memory_stack_jmp_bounds_offset(void) in memory_stack_jmp_bounds_offset()
215 __naked void memory_stack_jmp_wrong_max(void) in memory_stack_jmp_wrong_max()
240 __naked void stack_jmp_no_max_check(void) in stack_jmp_no_max_check()
265 __naked void stack_jmp_no_min_check(void) in stack_jmp_no_min_check()
298 __naked void jmp_signed_no_min_check(void) in jmp_signed_no_min_check()
[all …]
|
| H A D | verifier_loops1.c | 11 __naked void bounded_loop_count_to_4(void) in bounded_loop_count_to_4()
24 __naked void bounded_loop_count_to_20(void) in bounded_loop_count_to_20()
37 __naked void from_positive_unknown_to_4(void) in from_positive_unknown_to_4()
53 __naked void from_totally_unknown_to_4(void) in from_totally_unknown_to_4()
68 __naked void count_to_4_with_equality(void) in count_to_4_with_equality()
82 __naked void loop_start_in_the_middle(void) in loop_start_in_the_middle()
96 __naked void loop_containing_a_forward_jump(void) in loop_containing_a_forward_jump()
110 __naked void jumps_out_rather_than_in(void) in jumps_out_rather_than_in()
127 __naked void loop_after_a_conditional_jump(void) in loop_after_a_conditional_jump()
143 __naked void bounded_recursion(void) in bounded_recursion()
[all …]
|
| H A D | verifier_spill_fill.c | 18 __naked void check_valid_spill_fill(void) in __retval()
35 __naked void valid_spill_fill_skb_mark(void) in valid_spill_fill_skb_mark()
51 __naked void spill_fill_ptr_to_mem(void) in spill_fill_ptr_to_mem()
89 __naked void with_invalid_reg_offset_0(void) in with_invalid_reg_offset_0()
126 __naked void check_corrupted_spill_fill(void) in __flag()
148 __naked void check_corrupted_spill_fill_lsb(void) in __retval()
163 __naked void check_corrupted_spill_fill_msb(void) in __retval()
177 __naked void scalar_offset_to_skb_data_1(void) in scalar_offset_to_skb_data_1()
206 __naked void uninit_u32_from_the_stack(void) in uninit_u32_from_the_stack()
221 __naked void u16_offset_to_skb_data(void) in u16_offset_to_skb_data()
[all …]
|
| H A D | verifier_masking.c | 11 __naked void test_out_of_bounds_1(void) in test_out_of_bounds_1()
31 __naked void test_out_of_bounds_2(void) in test_out_of_bounds_2()
51 __naked void test_out_of_bounds_3(void) in test_out_of_bounds_3()
71 __naked void test_out_of_bounds_4(void) in test_out_of_bounds_4()
91 __naked void test_out_of_bounds_5(void) in test_out_of_bounds_5()
111 __naked void test_out_of_bounds_6(void) in test_out_of_bounds_6()
131 __naked void test_out_of_bounds_7(void) in test_out_of_bounds_7()
151 __naked void test_out_of_bounds_8(void) in test_out_of_bounds_8()
171 __naked void test_out_of_bounds_9(void) in test_out_of_bounds_9()
191 __naked void test_out_of_bounds_10(void) in test_out_of_bounds_10()
[all …]
|
| H A D | verifier_sock.c | 57 __naked void skb_sk_no_null_check(void) in skb_sk_no_null_check()
72 __naked void sk_family_non_fullsock_field_1(void) in sk_family_non_fullsock_field_1()
92 __naked void sk_sk_type_fullsock_field_1(void) in sk_sk_type_fullsock_field_1()
112 __naked void sk_no_skb_sk_check_1(void) in sk_no_skb_sk_check_1()
129 __naked void no_null_check_on_ret_1(void) in no_null_check_on_ret_1()
150 __naked void sk_sk_type_fullsock_field_2(void) in sk_sk_type_fullsock_field_2()
174 __naked void sk_family_non_fullsock_field_2(void) in sk_family_non_fullsock_field_2()
197 __naked void sk_sk_state_narrow_load(void) in sk_sk_state_narrow_load()
221 __naked void port_word_load_backward_compatibility(void) in port_word_load_backward_compatibility()
245 __naked void sk_dst_port_half_load(void) in sk_dst_port_half_load()
[all …]
|
| H A D | verifier_direct_packet_access.c | 11 __naked void end_pkt_start_is_allowed(void) in __retval()
27 __naked void direct_packet_access_test1(void) in direct_packet_access_test1()
47 __naked void direct_packet_access_test2(void) in direct_packet_access_test2()
83 __naked void direct_packet_access_test3(void) in direct_packet_access_test3()
97 __naked void direct_packet_access_test4_write(void) in direct_packet_access_test4_write()
117 __naked void pkt_end_reg_good_access(void) in pkt_end_reg_good_access()
139 __naked void pkt_end_reg_bad_access(void) in pkt_end_reg_bad_access()
161 __naked void pkt_end_reg_both_accesses(void) in pkt_end_reg_both_accesses()
184 __naked void test8_double_test_variant_1(void) in test8_double_test_variant_1()
208 __naked void test9_double_test_variant_2(void) in test9_double_test_variant_2()
[all …]
|
| H A D | verifier_div0.c | 11 __naked void by_0_zero_check_1_1(void) in by_0_zero_check_1_1()
25 __naked void by_0_zero_check_2_1(void) in by_0_zero_check_2_1()
39 __naked void div64_by_0_zero_check(void) in div64_by_0_zero_check()
53 __naked void by_0_zero_check_1_2(void) in by_0_zero_check_1_2()
67 __naked void by_0_zero_check_2_2(void) in by_0_zero_check_2_2()
81 __naked void mod64_by_0_zero_check(void) in mod64_by_0_zero_check()
95 __naked void _0_zero_check_ok_cls_1(void) in _0_zero_check_ok_cls_1()
110 __naked void _0_zero_check_1_cls_1(void) in _0_zero_check_1_cls_1()
123 __naked void _0_zero_check_2_cls_1(void) in _0_zero_check_2_cls_1()
136 __naked void by_0_zero_check_cls(void) in by_0_zero_check_cls()
[all …]
|
| H A D | verifier_raw_stack.c | 12 __naked void stack_no_skb_load_bytes(void) in stack_no_skb_load_bytes()
29 __naked void skb_load_bytes_negative_len(void) in skb_load_bytes_negative_len()
48 __naked void load_bytes_negative_len_2(void) in load_bytes_negative_len_2()
68 __naked void skb_load_bytes_zero_len(void) in skb_load_bytes_zero_len()
87 __naked void skb_load_bytes_no_init(void) in skb_load_bytes_no_init()
106 __naked void stack_skb_load_bytes_init(void) in stack_skb_load_bytes_init()
127 __naked void bytes_spilled_regs_around_bounds(void) in bytes_spilled_regs_around_bounds()
155 __naked void load_bytes_spilled_regs_corruption(void) in __flag()
178 __naked void bytes_spilled_regs_corruption_2(void) in __flag()
210 __naked void load_bytes_spilled_regs_data(void) in load_bytes_spilled_regs_data()
[all …]
|
| H A D | verifier_ctx.c | 11 __naked void context_stores_via_bpf_atomic(void) in context_stores_via_bpf_atomic()
25 __naked void make_ptr_to_ctx_unusable(void) in make_ptr_to_ctx_unusable()
41 __naked void unmodified_ctx_pointer_to_helper(void) in unmodified_ctx_pointer_to_helper()
56 __naked void ctx_pointer_to_helper_1(void) in ctx_pointer_to_helper_1()
73 __naked void ctx_pointer_to_helper_2(void) in ctx_pointer_to_helper_2()
88 __naked void ctx_pointer_to_helper_3(void) in ctx_pointer_to_helper_3()
106 __naked void or_null_check_1_ctx(void) in or_null_check_1_ctx()
120 __naked void or_null_check_2_null(void) in or_null_check_2_null()
135 __naked void or_null_check_3_1(void) in or_null_check_3_1()
150 __naked void null_check_4_ctx_const(void) in null_check_4_ctx_const()
[all …]
|
| H A D | verifier_scalar_ids.c | 19 __naked void precision_same_state(void) in __flag()
55 __naked void precision_cross_state(void) in __flag()
90 __naked void precision_same_state_broken_link(void) in __flag()
130 __naked void precision_cross_state_broken_link(void) in __flag()
199 __naked void precision_many_frames(void) in __flag()
215 static __naked __noinline __used
229 static __naked __noinline __used
260 __naked void precision_stack(void) in __flag()
277 static __naked __noinline __used
314 __naked void precision_two_ids(void) in __flag()
[all …]
|
| H A D | verifier_runtime_jit.c | 41 __naked void dummy_prog_42_socket(void) in dummy_prog_42_socket()
48 __naked void dummy_prog_24_socket(void) in dummy_prog_24_socket()
55 __naked void dummy_prog_loop1_socket(void) in dummy_prog_loop1_socket()
71 __naked void dummy_prog_loop2_socket(void) in dummy_prog_loop2_socket()
88 __naked void call_within_bounds_prog_once(void) in call_within_bounds_prog_once()
105 __naked void call_within_bounds_prog_loop(void) in call_within_bounds_prog_loop()
122 __naked void call_within_bounds_no_prog(void) in call_within_bounds_no_prog()
139 __naked void call_within_bounds_key_2(void) in call_within_bounds_key_2()
156 __naked void _2_key_2_first_branch(void) in _2_key_2_first_branch()
181 __naked void _2_key_2_second_branch(void) in _2_key_2_second_branch()
[all …]
|
| H A D | verifier_subprog_precision.c | 13 __naked __noinline __used
30 __naked __noinline __used
50 __naked int subprog_result_precise(void) in subprog_result_precise()
78 __naked __noinline __used
88 __naked __noinline __used
109 __naked int fp_precise_subprog_result(void) in fp_precise_subprog_result()
145 __naked int sneaky_fp_precise_subprog_result(void) in sneaky_fp_precise_subprog_result()
174 __naked int global_subprog_result_precise(void) in global_subprog_result_precise()
207 __naked __noinline __used
239 __naked int callback_precise_return_fail(void) in __flag()
[all …]
|
| H A D | verifier_bounds_mix_sign_unsign.c | 19 __naked void signed_and_unsigned_positive_bounds(void) in signed_and_unsigned_positive_bounds()
51 __naked void checks_mixing_signed_and_unsigned(void) in checks_mixing_signed_and_unsigned()
83 __naked void signed_and_unsigned_variant_2(void) in signed_and_unsigned_variant_2()
117 __naked void signed_and_unsigned_variant_3(void) in signed_and_unsigned_variant_3()
149 __naked void signed_and_unsigned_variant_4(void) in signed_and_unsigned_variant_4()
181 __naked void signed_and_unsigned_variant_5(void) in signed_and_unsigned_variant_5()
214 __naked void signed_and_unsigned_variant_6(void) in signed_and_unsigned_variant_6()
244 __naked void signed_and_unsigned_variant_7(void) in signed_and_unsigned_variant_7()
277 __naked void signed_and_unsigned_variant_8(void) in signed_and_unsigned_variant_8()
310 __naked void signed_and_unsigned_variant_9(void) in signed_and_unsigned_variant_9()
[all …]
|
| H A D | verifier_helper_packet_access.c | 18 __naked void test1_valid_packet_ptr_range(void) in test1_valid_packet_ptr_range()
43 __naked void packet_test2_unchecked_packet_ptr(void) in packet_test2_unchecked_packet_ptr()
61 __naked void to_packet_test3_variable_add(void) in to_packet_test3_variable_add()
91 __naked void packet_ptr_with_bad_range_1(void) in packet_ptr_with_bad_range_1()
116 __naked void ptr_with_too_short_range_1(void) in ptr_with_too_short_range_1()
140 __naked void cls_valid_packet_ptr_range(void) in cls_valid_packet_ptr_range()
165 __naked void test7_cls_unchecked_packet_ptr(void) in test7_cls_unchecked_packet_ptr()
183 __naked void packet_test8_cls_variable_add(void) in packet_test8_cls_variable_add()
213 __naked void packet_ptr_with_bad_range_2(void) in packet_ptr_with_bad_range_2()
238 __naked void ptr_with_too_short_range_2(void) in ptr_with_too_short_range_2()
[all …]
|
| H A D | verifier_var_off.c | 18 __naked void variable_offset_ctx_access(void) in variable_offset_ctx_access()
40 __naked void stack_read_priv_vs_unpriv(void) in stack_read_priv_vs_unpriv()
66 __naked void variable_offset_stack_read_uninitialized(void) in variable_offset_stack_read_uninitialized()
97 __naked void stack_write_priv_vs_unpriv(void) in stack_write_priv_vs_unpriv()
135 __naked void stack_write_followed_by_read(void) in stack_write_followed_by_read()
171 __naked void stack_write_clobbers_spilled_regs(void) in stack_write_clobbers_spilled_regs()
207 __naked void variable_offset_stack_access_unbounded(void) in variable_offset_stack_access_unbounded()
240 __naked void access_max_out_of_bound(void) in access_max_out_of_bound()
273 __naked void zero_sized_access_max_out_of_bound(void) in zero_sized_access_max_out_of_bound()
298 __naked void access_min_out_of_bound(void) in access_min_out_of_bound()
[all …]
|