| /linux/tools/testing/selftests/bpf/progs/ |
| A D | verifier_ref_tracking.c | 105 : __imm(bpf_tail_call), in dummy_prog_loop1_tc()
240 : __imm(bpf_key_put), in acquire_release_user_key_reference()
259 : __imm(bpf_key_put), in acquire_release_system_key_reference()
278 : __imm(bpf_key_put), in user_key_reference_without_check()
296 : __imm(bpf_key_put), in system_key_reference_without_check()
312 : __imm(bpf_key_put) in release_with_null_key_pointer()
574 : __imm(bpf_sk_release) in call_free_reference_in_subprog__1()
608 : __imm(bpf_sk_release) in reference_in_subprog_and_outside__1()
1156 __imm(bpf_tcp_sock), in __flag()
1223 __imm(bpf_tcp_sock), in __flag()
[all …]
|
| A D | verifier_spin_lock.c | 47 __imm(bpf_spin_lock), in spin_lock_test1_success()
48 __imm(bpf_spin_unlock), in spin_lock_test1_success()
80 __imm(bpf_spin_lock), in lock_test2_direct_ld_st()
81 __imm(bpf_spin_unlock), in lock_test2_direct_ld_st()
114 __imm(bpf_spin_lock), in __flag()
148 __imm(bpf_spin_lock), in __flag()
182 __imm(bpf_spin_lock), in call_within_a_locked_region()
216 __imm(bpf_spin_lock), in spin_lock_test6_missing_unlock()
250 __imm(bpf_spin_lock), in lock_test7_unlock_without_lock()
286 __imm(bpf_spin_lock), in spin_lock_test8_double_lock()
[all …]
|
| 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()
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()
279 __imm(bpf_trace_printk), in via_const_imm_empty_range()
445 __imm(bpf_trace_printk), in via_const_reg_empty_range()
[all …]
|
| 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()
290 __imm(bpf_ringbuf_output), in stack_jmp_no_min_check()
463 : __imm(bpf_csum_diff) in ptr_to_mem_or_null_1()
484 : __imm(bpf_csum_diff) in ptr_to_mem_or_null_2()
505 : __imm(bpf_csum_diff) in ptr_to_mem_or_null_3()
530 : __imm(bpf_csum_diff), in ptr_to_mem_or_null_4()
560 : __imm(bpf_csum_diff), in ptr_to_mem_or_null_5()
588 : __imm(bpf_csum_diff), in ptr_to_mem_or_null_6()
[all …]
|
| 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()
107 : __imm(bpf_ktime_get_ns), in signed_and_unsigned_variant_2()
140 : __imm(bpf_ktime_get_ns), in signed_and_unsigned_variant_3()
171 : __imm(bpf_ktime_get_ns), in signed_and_unsigned_variant_4()
204 : __imm(bpf_ktime_get_ns), in signed_and_unsigned_variant_5()
236 : __imm(bpf_ktime_get_ns), in signed_and_unsigned_variant_6()
266 : __imm(bpf_ktime_get_ns), in signed_and_unsigned_variant_7()
301 : __imm(bpf_ktime_get_ns), in signed_and_unsigned_variant_8()
[all …]
|
| 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 …]
|
| 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_u32) in or32_imm_zero_extend_check()
[all …]
|
| 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()
499 __imm(bpf_probe_read_kernel) in bad_helper_write()
617 __imm(bpf_get_prandom_u32) in helper_call_does_not_prevent_bpf_fastcall()
708 __imm(bpf_loop) in bpf_loop_interaction1()
751 __imm(bpf_get_prandom_u32), in bpf_loop_interaction2()
752 __imm(bpf_loop) in bpf_loop_interaction2()
810 : __imm(bpf_cast_to_kern_ctx) in kfunc_bpf_cast_to_kern_ctx()
[all …]
|
| A D | verifier_helper_restricted.c | 41 : __imm(bpf_ktime_get_coarse_ns) in in_bpf_prog_type_kprobe_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()
157 __imm(bpf_timer_init), in in_bpf_prog_type_tracepoint_2()
182 __imm(bpf_timer_init), in bpf_prog_type_raw_tracepoint_2()
205 __imm(bpf_spin_lock), in in_bpf_prog_type_kprobe_3()
228 __imm(bpf_spin_lock), in in_bpf_prog_type_tracepoint_3()
251 __imm(bpf_spin_lock), in bpf_prog_type_perf_event_3()
[all …]
|
| 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 …]
|
| A 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()
905 __imm(bpf_get_prandom_u32) in non_const_xor_src_dst()
926 __imm(bpf_get_prandom_u32) in non_const_or_src_dst()
[all …]
|
| 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()
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 …]
|
| A 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()
476 : __imm(bpf_tcp_sock), in sk_no_skb_sk_check_2()
497 : __imm(bpf_tcp_sock), in no_null_check_on_ret_2()
520 : __imm(bpf_tcp_sock), in skb_sk_tp_snd_cwnd_1()
543 : __imm(bpf_tcp_sock), in skb_sk_tp_bytes_acked()
567 : __imm(bpf_tcp_sock), in skb_sk_beyond_last_field_2()
595 __imm(bpf_tcp_sock), in skb_sk_tp_snd_cwnd_2()
[all …]
|
| A 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()
374 : __imm(bpf_csum_diff), in a_read_only_array_2_1()
425 __imm(bpf_skb_load_bytes), in a_read_only_array_2_2()
475 __imm(bpf_skb_load_bytes), in a_write_only_array_2_1()
[all …]
|
| 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()
252 : __imm(bpf_skb_load_bytes) in load_bytes_invalid_access_1()
271 : __imm(bpf_skb_load_bytes) in load_bytes_invalid_access_2()
290 : __imm(bpf_skb_load_bytes) in load_bytes_invalid_access_3()
[all …]
|
| A D | verifier_scalar_ids.c | 46 : __imm(bpf_ktime_get_ns) in __flag()
79 : __imm(bpf_ktime_get_ns) in __flag()
112 : __imm(bpf_ktime_get_ns) in __flag()
149 : __imm(bpf_ktime_get_ns) in __flag()
209 : __imm(bpf_ktime_get_ns) in __flag()
274 : __imm(bpf_ktime_get_ns) in __flag()
345 : __imm(bpf_ktime_get_ns) in __flag()
385 : __imm(bpf_ktime_get_ns) in __flag()
444 : __imm(bpf_ktime_get_ns) in cjmp_no_linked_regs_trigger()
495 : __imm(bpf_ktime_get_ns) in __flag()
[all …]
|
| 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()
328 : __imm(bpf_csum_diff), in packet_test13_cls_helper_ok()
355 : __imm(bpf_csum_diff), in test14_cls_helper_ok_sub()
382 : __imm(bpf_csum_diff), in test15_cls_helper_fail_sub()
409 : __imm(bpf_csum_diff), in cls_helper_fail_range_1()
436 : __imm(bpf_csum_diff), in cls_helper_fail_range_2()
463 : __imm(bpf_csum_diff), in cls_helper_fail_range_3()
491 : __imm(bpf_csum_diff), in test19_cls_helper_range_zero()
518 : __imm(bpf_csum_diff), in test20_pkt_end_as_input()
[all …]
|
| A 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 …]
|
| 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 …]
|
| 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 …]
|
| 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()
269 : __imm(bpf_get_prandom_u32) in for_u32_spills_u64_fill()
295 : __imm(bpf_get_prandom_u32) in allocated_stack()
[all …]
|
| 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()
788 __imm(bpf_iter_num_new), in delayed_read_mark()
789 __imm(bpf_iter_num_next), in delayed_read_mark()
867 __imm(bpf_iter_num_new), in delayed_precision_mark()
993 __imm(bpf_iter_num_new), in __flag()
1170 __imm(bpf_iter_num_new), in __flag()
1227 __imm(bpf_iter_num_new), in triple_continue()
1276 : __imm(bpf_iter_num_new), in widen_spill()
[all …]
|
| 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()
263 : __imm(bpf_get_prandom_u32) in mov64sx_s32_varoff_2()
286 : __imm(bpf_get_prandom_u32) in mov64sx_s32_varoff_3()
306 : __imm(bpf_get_prandom_u32) in mov64sx_s8_range_check()
[all …]
|
| A 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()
|
| 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()
818 : __imm(bpf_ktime_get_ns) in spill_32bit_range_track()
1131 : __imm(bpf_ktime_get_ns) in __flag()
1170 : __imm(bpf_ktime_get_ns) in __flag()
1203 : __imm(bpf_ktime_get_ns) in __flag()
[all …]
|