| /linux/tools/testing/selftests/bpf/progs/ |
| H A D | verifier_sdiv.c | 17 __naked void sdiv32_non_zero_imm_1(void) in sdiv32_non_zero_imm_1()
29 __naked void sdiv32_non_zero_imm_2(void) in sdiv32_non_zero_imm_2()
41 __naked void sdiv32_non_zero_imm_3(void) in sdiv32_non_zero_imm_3()
53 __naked void sdiv32_non_zero_imm_4(void) in sdiv32_non_zero_imm_4()
65 __naked void sdiv32_non_zero_imm_5(void) in sdiv32_non_zero_imm_5()
77 __naked void sdiv32_non_zero_imm_6(void) in sdiv32_non_zero_imm_6()
89 __naked void sdiv32_non_zero_imm_7(void) in sdiv32_non_zero_imm_7()
101 __naked void sdiv32_non_zero_imm_8(void) in sdiv32_non_zero_imm_8()
113 __naked void sdiv32_non_zero_reg_1(void) in sdiv32_non_zero_reg_1()
126 __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_bounds.c | 20 __naked void bounds_map_value_variant_1(void) in bounds_map_value_variant_1()
52 __naked void bounds_map_value_variant_2(void) in bounds_map_value_variant_2()
82 __naked void subtraction_on_pointers_for_unpriv(void) in subtraction_on_pointers_for_unpriv()
114 __naked void based_on_zero_extended_mov(void) in based_on_zero_extended_mov()
145 __naked void on_sign_extended_mov_test1(void) in on_sign_extended_mov_test1()
176 __naked void on_sign_extended_mov_test2(void) in on_sign_extended_mov_test2()
206 __naked void var_off_insn_off_test1(void) in var_off_insn_off_test1()
235 __naked void var_off_insn_off_test2(void) in var_off_insn_off_test2()
265 __naked void of_non_boundary_crossing_range(void) in of_non_boundary_crossing_range()
307 __naked voi
[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 voi
[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 voi
[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_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_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_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_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()
276 __naked void ptr_unknown_vs_unknown_gt(void) in ptr_unknown_vs_unknown_gt()
319 __naked void value_ptr_from_different_maps(void) in value_ptr_from_different_maps()
351 __naked void known_scalar_from_different_maps(void) in known_scalar_from_different_maps()
382 __naked void maps_but_same_value_properties(void) in maps_but_same_value_properties()
[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 voi
[all...] |
| H A D | verifier_bpf_fastcall.c | 20 __naked void simple(void) in simple()
68 __naked void canary_arm64_riscv64(void) in canary_arm64_riscv64()
87 __naked void canary_zero_spills(void) in canary_zero_spills()
106 __naked void wrong_reg_in_pattern1(void) in wrong_reg_in_pattern1()
127 __naked void wrong_reg_in_pattern2(void) in wrong_reg_in_pattern2()
148 __naked void wrong_reg_in_pattern3(void) in wrong_reg_in_pattern3()
169 __naked void wrong_base_in_pattern(void) in wrong_base_in_pattern()
191 __naked void wrong_insn_in_pattern(void) in wrong_insn_in_pattern()
213 __naked void wrong_off_in_pattern1(void) in wrong_off_in_pattern1()
235 __naked voi
[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_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_movsx.c | 16 __naked void mov32sx_s8(void) in mov32sx_s8()
28 __naked void mov32sx_s16(void) in mov32sx_s16()
40 __naked void mov64sx_s8(void) in mov64sx_s8()
52 __naked void mov64sx_s16(void) in mov64sx_s16()
64 __naked void mov64sx_s32(void) in mov64sx_s32()
77 __naked void mov32sx_s8_range(void) in mov32sx_s8_range()
99 __naked void mov32sx_s16_range(void) in mov32sx_s16_range()
121 __naked void mov32sx_s16_range_2(void) in mov32sx_s16_range_2()
142 __naked void mov64sx_s8_range(void) in mov64sx_s8_range()
164 __naked void mov64sx_s16_range(void) in mov64sx_s16_range()
[all …]
|
| H A D | verifier_lsm.c | 10 __naked int errno_zero_retval_test1(void *ctx) in errno_zero_retval_test1()
21 __naked int errno_zero_retval_test2(void *ctx) in errno_zero_retval_test2()
32 __naked int errno_zero_retval_test4(void *ctx) in errno_zero_retval_test4()
43 __naked int errno_zero_retval_test5(void *ctx) in errno_zero_retval_test5()
54 __naked int errno_zero_retval_test6(void *ctx) in errno_zero_retval_test6()
65 __naked int bool_retval_test1(void *ctx) in bool_retval_test1()
77 __naked int bool_retval_test2(void *ctx) in bool_retval_test2()
88 __naked int bool_retval_test3(void *ctx) in bool_retval_test3()
99 __naked int bool_retval_test4(void *ctx) in bool_retval_test4()
110 __naked in
[all...] |
| H A D | verifier_direct_packet_access.c | 12 __naked void end_pkt_start_is_allowed(void) in __retval()
28 __naked void direct_packet_access_test1(void) in direct_packet_access_test1()
48 __naked void direct_packet_access_test2(void) in direct_packet_access_test2()
84 __naked void direct_packet_access_test3(void) in direct_packet_access_test3()
98 __naked void direct_packet_access_test4_write(void) in direct_packet_access_test4_write()
118 __naked void pkt_end_reg_good_access(void) in pkt_end_reg_good_access()
140 __naked void pkt_end_reg_bad_access(void) in pkt_end_reg_bad_access()
162 __naked void pkt_end_reg_both_accesses(void) in pkt_end_reg_both_accesses()
185 __naked void test8_double_test_variant_1(void) in test8_double_test_variant_1()
209 __naked voi in test9_double_test_variant_2()
[all...] |
| H A D | verifier_scalar_ids.c | 28 __naked void linked_regs_bpf_k(void) in __flag()
60 __naked void linked_regs_bpf_x_src(void) in __flag()
93 __naked void linked_regs_bpf_x_dst(void) in __flag()
127 __naked void linked_regs_broken_link(void) in __flag()
197 __naked void precision_many_frames(void) in __flag()
213 static __naked __noinline __used
227 static __naked __noinline __used
261 __naked void precision_stack(void) in __flag()
278 static __naked __noinline __used
318 __naked voi in __flag()
[all...] |
| H A D | verifier_sock.c | 60 __naked void skb_sk_no_null_check(void)
75 __naked void sk_family_non_fullsock_field_1(void)
95 __naked void sk_sk_type_fullsock_field_1(void)
115 __naked void sk_no_skb_sk_check_1(void)
132 __naked void no_null_check_on_ret_1(void)
153 __naked void sk_sk_type_fullsock_field_2(void)
177 __naked void sk_family_non_fullsock_field_2(void)
200 __naked void sk_sk_state_narrow_load(void)
224 __naked void port_word_load_backward_compatibility(void)
248 __naked voi in port_word_load_backward_compatibility()
[all...] |
| H A D | compute_live_registers.c | 36 __naked void assign_chain(void) in assign_chain()
63 __naked void arithmetics(void) in arithmetics()
85 __naked void store(void) in store()
105 __naked void load(void) in load()
122 __naked void endian(void) in endian()
141 __naked void atomic(void) in atomic()
173 __naked void atomic_load_acq_store_rel(void) in atomic_load_acq_store_rel()
197 __naked void regular_call(void) in regular_call()
216 __naked void if1(void) in if1()
231 __naked void if2(void) in if2()
[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_precision.c | 14 __naked int bpf_neg(void) in bpf_neg()
34 __naked int bpf_end_to_le(void) in bpf_end_to_le()
55 __naked int bpf_end_to_be(void) in bpf_end_to_be()
80 __naked int bpf_end_bswap(void) in bpf_end_bswap()
102 __naked int bpf_load_acquire(void) in bpf_load_acquire()
124 __naked int bpf_store_release(void) in bpf_store_release()
162 __naked int state_loop_first_last_equal(void) in state_loop_first_last_equal()
181 __used __naked static void __bpf_cond_op_r10(void) in __bpf_cond_op_r10()
203 __naked void bpf_cond_op_r10(void) in bpf_cond_op_r10()
221 __naked voi
[all...] |
| H A D | verifier_ctx.c | 11 __naked void context_stores_via_bpf_atomic(void)
25 __naked void make_ptr_to_ctx_unusable(void)
41 __naked void unmodified_ctx_pointer_to_helper(void)
56 __naked void ctx_pointer_to_helper_1(void)
73 __naked void ctx_pointer_to_helper_2(void)
88 __naked void ctx_pointer_to_helper_3(void)
106 __naked void or_null_check_1_ctx(void)
120 __naked void or_null_check_2_null(void)
135 __naked void or_null_check_3_1(void)
150 __naked voi
[all...] |