| /openbmc/linux/tools/testing/selftests/bpf/progs/ |
| H A D | verifier_subprog_precision.c | 43 __msg("7: (0f) r1 += r0")
44 __msg("mark_precise: frame0: regs=r0 stack= before 6: (bf) r1 = r7")
45 __msg("mark_precise: frame0: regs=r0 stack= before 5: (27) r0 *= 4")
46 __msg("mark_precise: frame0: regs=r0 stack= before 11: (95) exit")
47 __msg("mark_precise: frame1: regs=r0 stack= before 10: (bf) r0 = r1")
48 __msg("mark_precise: frame1: regs=r1 stack= before 4: (85) call pc+5")
49 __msg("mark_precise: frame0: regs=r1 stack= before 3: (bf) r1 = r6")
50 __msg("mark_precise: frame0: regs=r6 stack= before 2: (b7) r6 = 3")
81 __msg("9: (0f) r1 += r0")
82 __msg("mark_precise: frame0: last_idx 9 first_idx 0")
[all …]
|
| H A D | verifier_scalar_ids.c | 13 __msg("frame0: regs=r0,r1,r2 stack= before 4: (bf) r3 = r10")
14 __msg("frame0: regs=r0,r1,r2 stack= before 3: (bf) r2 = r0")
15 __msg("frame0: regs=r0,r1 stack= before 2: (bf) r1 = r0")
16 __msg("frame0: regs=r0 stack= before 1: (57) r0 &= 255")
17 __msg("frame0: regs=r0 stack= before 0: (85) call bpf_ktime_get_ns")
45 __msg("frame0: last_idx 6 first_idx 5 subseq_idx -1")
46 __msg("frame0: regs=r0,r1,r2 stack= before 5: (bf) r3 = r10")
47 __msg("frame0: parent state regs=r0,r1,r2 stack=:")
48 __msg("frame0: regs=r0,r1,r2 stack= before 4: (05) goto pc+0")
49 __msg("frame0: regs=r0,r1,r2 stack= before 3: (bf) r2 = r0")
[all …]
|
| H A D | dynptr_fail.c | 80 __failure __msg("Unreleased reference id=2")
93 __failure __msg("Unreleased reference id=4")
129 __failure __msg("Unreleased reference id")
138 __failure __msg("arg 1 is an unacquired reference")
151 __failure __msg("Expected an initialized dynptr as arg #3")
171 __failure __msg("type=mem expected=ringbuf_mem")
194 __failure __msg("invalid indirect read from stack")
212 __failure __msg("invalid indirect read from stack")
230 __failure __msg("value is outside of the allowed memory range")
252 __failure __msg("value is outside of the allowed memory range")
[all …]
|
| H A D | iters_state_safety.c | 33 __msg("fp-8_w=iter_num(ref_id=1,state=active,depth=0)")
56 __failure __msg("Unreleased reference id=1")
76 __failure __msg("expected an initialized iter_num as arg #1")
94 __failure __msg("expected an initialized iter_num as arg #1")
121 __failure __msg("Unreleased reference id=1")
146 __failure __msg("expected an initialized iter_num as arg #1")
188 __msg("returning from callee:")
189 __msg("Unreleased reference id=1")
199 __msg("fp-8_w=iter_num(ref_id=1,state=active,depth=0)")
233 __failure __msg("expected uninitialized iter_num as arg #1")
[all …]
|
| H A D | task_kfunc_failure.c | 31 __failure __msg("Possibly NULL pointer passed to trusted arg0")
52 __failure __msg("arg#0 pointer type STRUCT task_struct must point")
68 __failure __msg("calling kernel function bpf_task_acquire is not allowed")
83 __failure __msg("calling kernel function bpf_task_acquire is not allowed")
103 __failure __msg("Possibly NULL pointer passed to trusted arg0")
118 __failure __msg("Unreleased reference")
132 __failure __msg("Unreleased reference")
152 __failure __msg("Possibly NULL pointer passed to trusted arg0")
165 __failure __msg("Possibly NULL pointer passed to trusted arg0")
181 __failure __msg("arg#0 pointer type STRUCT task_struct must point")
[all …]
|
| H A D | verifier_helper_restricted.c | 33 __failure __msg("unknown func bpf_ktime_get_coarse_ns")
47 __failure __msg("unknown func bpf_ktime_get_coarse_ns")
61 __failure __msg("unknown func bpf_ktime_get_coarse_ns")
75 __failure __msg("unknown func bpf_ktime_get_coarse_ns")
89 __failure __msg("tracing progs cannot use bpf_timer yet")
114 __failure __msg("tracing progs cannot use bpf_timer yet")
139 __failure __msg("tracing progs cannot use bpf_timer yet")
164 __failure __msg("tracing progs cannot use bpf_timer yet")
189 __failure __msg("tracing progs cannot use bpf_spin_lock yet")
212 __failure __msg("tracing progs cannot use bpf_spin_lock yet")
[all …]
|
| H A D | map_kptr_fail.c | 24 __failure __msg("kptr access size must be BPF_DW")
39 __failure __msg("kptr access cannot have variable offset")
58 __failure __msg("R1 doesn't have constant offset. kptr has to be")
77 __failure __msg("kptr access misaligned expected=8 off=7")
93 __failure __msg("kptr access misaligned expected=8 off=1")
107 __failure __msg("variable untrusted_ptr_ access var_off=(0x0; 0x1e0)")
131 __failure __msg("invalid kptr access, R1 type=untrusted_ptr_prog_test_ref_kfunc")
152 __failure __msg("R1 type=untrusted_ptr_or_null_ expected=percpu_ptr_")
167 __failure __msg("access beyond struct prog_test_ref_kfunc at off 32 size 4")
185 __failure __msg("R1 type=untrusted_ptr_ expected=percpu_ptr_")
[all …]
|
| H A D | verifier_ref_tracking.c | 112 __failure __msg("Unreleased reference")
127 __failure __msg("Unreleased reference")
142 __failure __msg("Unreleased reference")
160 __failure __msg("Unreleased reference")
180 __failure __msg("Unreleased reference")
195 __failure __msg("Unreleased reference")
210 __failure __msg("Unreleased reference")
266 __failure __msg("Possibly NULL pointer passed to trusted arg0")
285 __failure __msg("Possibly NULL pointer passed to trusted arg0")
303 __failure __msg("Possibly NULL pointer passed to trusted arg0")
[all …]
|
| H A D | iters_testmod_seq.c | 22 __msg("fp-16_w=iter_testmod_seq(ref_id=1,state=active,depth=0)")
23 __msg("fp-16=iter_testmod_seq(ref_id=1,state=drained,depth=0)")
24 __msg("call bpf_iter_testmod_seq_destroy")
40 __msg("fp-16_w=iter_testmod_seq(ref_id=1,state=active,depth=0)")
41 __msg("fp-16=iter_testmod_seq(ref_id=1,state=drained,depth=0)")
42 __msg("call bpf_iter_testmod_seq_destroy")
60 __msg("fp-16_w=iter_testmod_seq(ref_id=1,state=active,depth=0)")
61 __msg("fp-16=iter_testmod_seq(ref_id=1,state=drained,depth=0)")
62 __msg("call bpf_iter_testmod_seq_destroy")
|
| H A D | verifier_bounds_mix_sign_unsign.c | 17 __failure __msg("unbounded min value")
49 __failure __msg("unbounded min value")
81 __failure __msg("unbounded min value")
115 __failure __msg("unbounded min value")
179 __failure __msg("unbounded min value")
212 __failure __msg("R4 min value is negative, either use unsigned")
275 __failure __msg("unbounded min value")
342 __failure __msg("unbounded min value")
376 __failure __msg("unbounded min value")
411 __failure __msg("unbounded min value")
[all …]
|
| H A D | verifier_helper_value_access.c | 94 __failure __msg("R2 invalid zero-sized read")
118 __failure __msg("invalid access to map value, value_size=48 off=0 size=56")
144 __failure __msg("R2 min value is negative")
224 __failure __msg("R2 invalid zero-sized read")
250 __failure __msg("invalid access to map value, value_size=48 off=4 size=52")
278 __failure __msg("R2 min value is negative")
305 __failure __msg("R2 min value is negative")
389 __failure __msg("R2 invalid zero-sized read")
415 __failure __msg("invalid access to map value, value_size=48 off=4 size=52")
444 __failure __msg("R2 min value is negative")
[all …]
|
| H A D | verifier_stack_ptr.c | 40 __failure __msg("misaligned stack access off (0x0; 0x0)+-8+2 size 8")
56 __failure __msg("misaligned stack access off (0x0; 0x0)+-10+8 size 8")
72 __failure __msg("invalid write to stack R1 off=-79992 size=8")
88 __failure __msg("invalid write to stack R1 off=0 size=8")
150 __failure __msg("invalid write to stack R1 off=0 size=1")
166 __failure __msg("invalid write to stack R1")
184 __failure __msg("invalid write to stack")
203 __failure __msg("fp pointer offset")
255 __failure __msg("invalid write to stack R1 off=-513 size=1")
271 __failure __msg("math between fp pointer")
[all …]
|
| H A D | verifier_cgroup_storage.c | 51 __failure __msg("cannot pass map_type 1 into func bpf_get_local_storage")
71 __failure __msg("fd 1 is not pointing to valid bpf_map")
90 __failure __msg("invalid access to map value, value_size=64 off=256 size=4")
110 __failure __msg("invalid access to map value, value_size=64 off=-2 size=4")
131 __failure __msg("get_local_storage() doesn't support non-zero flags")
151 __failure __msg("get_local_storage() doesn't support non-zero flags")
190 __failure __msg("cannot pass map_type 1 into func bpf_get_local_storage")
210 __failure __msg("fd 1 is not pointing to valid bpf_map")
229 __failure __msg("invalid access to map value, value_size=64 off=256 size=4")
249 __failure __msg("invalid access to map value, value_size=64 off=-2 size=4")
[all …]
|
| H A D | cgrp_kfunc_failure.c | 32 __failure __msg("Possibly NULL pointer passed to trusted arg0")
51 __failure __msg("Possibly NULL pointer passed to trusted arg0")
67 __failure __msg("arg#0 pointer type STRUCT cgroup must point")
81 __failure __msg("reg type unsupported for arg#0 function")
95 __failure __msg("cgrp_kfunc_acquire_trusted_walked")
109 __failure __msg("Possibly NULL pointer passed to trusted arg0")
123 __failure __msg("Unreleased reference")
137 __failure __msg("Unreleased reference")
157 __failure __msg("must be referenced or trusted")
178 __failure __msg("Possibly NULL pointer passed to trusted arg0")
[all …]
|
| H A D | verifier_raw_stack.c | 28 __failure __msg("R4 min value is negative")
47 __failure __msg("R4 min value is negative")
67 __failure __msg("R4 invalid zero-sized read: u64=[0,0]")
153 __failure __msg("R0 invalid mem access 'scalar'")
176 __failure __msg("R3 invalid mem access 'scalar'")
239 __failure __msg("invalid indirect access to stack R3 off=-513 size=8")
258 __failure __msg("invalid indirect access to stack R3 off=-1 size=8")
277 __failure __msg("R4 min value is negative")
297 __msg("R4 unbounded memory access, use 'var &= const' or 'if (var < const)'")
317 __msg("R4 unbounded memory access, use 'var &= const' or 'if (var < const)'")
[all …]
|
| H A D | verifier_xdp_direct_packet_access.c | 10 __failure __msg("R3 pointer arithmetic on pkt_end")
31 __failure __msg("R3 pointer arithmetic on pkt_end")
72 __failure __msg("R1 offset is outside of the packet")
93 __failure __msg("R1 offset is outside of the packet")
134 __failure __msg("R1 offset is outside of the packet")
176 __failure __msg("R1 offset is outside of the packet")
198 __failure __msg("R1 offset is outside of the packet")
282 __failure __msg("R1 offset is outside of the packet")
304 __failure __msg("R1 offset is outside of the packet")
387 __failure __msg("R1 offset is outside of the packet")
[all …]
|
| H A D | verifier_spin_lock.c | 55 __failure __msg("cannot be accessed directly")
88 __failure __msg("cannot be accessed directly")
122 __failure __msg("cannot be accessed directly")
156 __failure __msg("calls are not allowed")
190 __failure __msg("unlock is missing")
224 __failure __msg("without taking a lock")
258 __failure __msg("calls are not allowed")
294 __failure __msg("unlock of different lock")
333 __failure __msg("unlock is missing")
376 __failure __msg("inside bpf_spin_lock")
[all …]
|
| H A D | verifier_bounds_deduction.c | 10 __failure __msg("R0 tried to subtract pointer from scalar")
42 __failure __msg("R0 tried to subtract pointer from scalar")
75 __failure __msg("R0 tried to subtract pointer from scalar")
89 __failure __msg("R0 tried to subtract pointer from scalar")
104 __failure __msg("dereference of modified ctx ptr")
123 __failure __msg("negative offset ctx ptr R1 off=-1 disallowed")
142 __failure __msg("R0 tried to subtract pointer from scalar")
157 __msg("math between ctx pointer and register with unbounded min value is not allowed")
|
| H A D | verifier_cfg.c | 10 __failure __msg("unreachable")
22 __failure __msg("unreachable")
35 __failure __msg("jump out of range")
48 __failure __msg("jump out of range")
60 __failure __msg("unreachable insn 1")
72 __failure __msg("unreachable insn 4")
87 __failure __msg("infinite loop detected")
|
| H A D | verifier_bounds.c | 17 __failure __msg("R0 max value is outside of the allowed memory range")
49 __msg("R0 min value is negative, either use unsigned index or do a if (index >=0) check.")
142 __failure __msg("map_value pointer and 4294967295")
173 __failure __msg("R0 min value is outside of the allowed memory range")
204 __failure __msg("value_size=8 off=1073741825")
233 __failure __msg("value 1073741823")
304 __msg("value -4294967168 makes map_value pointer be out of bounds")
344 __failure __msg("value -4294967168 makes map_value pointer be out of bounds")
418 __failure __msg("R0 max value is outside of the allowed memory range")
451 __failure __msg("R0 unbounded memory access")
[all …]
|
| H A D | user_ringbuf_fail.c | 44 __failure __msg("negative offset dynptr_ptr ptr")
67 __failure __msg("dereference of modified dynptr_ptr ptr")
87 __failure __msg("invalid mem access 'dynptr_ptr'")
107 __failure __msg("invalid mem access 'scalar'")
129 __failure __msg("invalid mem access 'scalar'")
149 __failure __msg("cannot release unowned const bpf_dynptr")
169 __failure __msg("cannot release unowned const bpf_dynptr")
187 __failure __msg("At callback return the register R0 has value")
210 __failure __msg("Dynptr has to be an uninitialized dynptr")
218 __failure __msg("Dynptr has to be an uninitialized dynptr")
|
| H A D | verifier_helper_packet_access.c | 42 __failure __msg("invalid access to packet")
90 __failure __msg("invalid access to packet")
115 __failure __msg("invalid access to packet")
164 __failure __msg("invalid access to packet")
212 __failure __msg("invalid access to packet")
237 __failure __msg("invalid access to packet")
261 __failure __msg("helper access to the packet")
286 __failure __msg("helper access to the packet")
363 __failure __msg("invalid access to packet")
390 __failure __msg("invalid access to packet")
[all …]
|
| H A D | verifier_ctx.c | 10 __failure __msg("BPF_ATOMIC stores into R1 ctx is not allowed")
24 __failure __msg("dereference of modified ctx ptr")
55 __failure __msg("negative offset ctx ptr R1 off=-612 disallowed")
71 __failure __msg("negative offset ctx ptr R1 off=-612 disallowed")
87 __failure __msg("variable ctx access var_off=(0x0; 0x4)")
134 __failure __msg("R1 type=scalar expected=ctx")
149 __failure __msg("negative offset ctx ptr R1 off=-612 disallowed")
208 __failure __msg("R1 type=scalar expected=ctx")
|
| H A D | cpumask_failure.c | 20 __failure __msg("Unreleased reference")
33 __failure __msg("NULL pointer passed to trusted arg0")
48 __failure __msg("must be referenced")
61 __failure __msg("bpf_cpumask_set_cpu args#1 expected pointer to STRUCT bpf_cpumask")
71 __failure __msg("Unreleased reference")
95 __failure __msg("NULL pointer passed to trusted arg0")
105 __failure __msg("R2 must be a rcu pointer")
139 __failure __msg("NULL pointer passed to trusted arg1")
167 __failure __msg("Possibly NULL pointer passed to helper arg2")
|
| H A D | verifier_unpriv.c | 106 __failure __msg("R1 pointer += pointer")
252 __failure __msg("invalid size")
266 __failure __msg("invalid bpf_context access")
312 __failure __msg("R1 type=fp expected=ctx")
330 __failure __msg("R1 type=scalar expected=ctx")
349 __failure __msg("same insn cannot be used with different pointers")
376 __failure __msg("same insn cannot be used with different pointers")
401 __failure __msg("type=ctx expected=sock")
442 __msg("Unreleased reference")
476 __failure __msg("same insn cannot be used with different pointers")
[all …]
|