| /linux-6.15/tools/testing/selftests/bpf/progs/ |
| H A D | verifier_subprog_precision.c | 42 __msg("7: (0f) r1 += r0")
101 __msg("6: (0f) r1 += r0")
108 __msg("7: R0_w=scalar")
132 __msg("6: (0f) r1 += r0")
144 __msg("7: R0_w=scalar")
168 __msg("9: (0f) r1 += r0")
286 __msg("17: (b7) r0 = 0")
287 __msg("18: (95) exit")
289 __msg("to caller at 9:")
416 __msg("16: (95) exit")
[all …]
|
| H A D | verifier_scalar_ids.c | 16 __msg("6: (0f) r3 += r0")
21 __msg("from 4 to 5: ")
22 __msg("6: (0f) r3 += r0")
395 __msg("div by zero") in __flag()
569 __msg("11: safe")
605 __msg("11: safe")
686 __msg("9: safe")
726 __msg("13: (95) exit")
784 __msg("6: (95) exit") in __flag()
785 __msg("from 3 to 4") in __flag()
[all …]
|
| H A D | compute_live_registers.c | 24 __msg(" 0: .......... (b7) r0 = 42")
25 __msg(" 1: 0......... (bf) r1 = r0")
26 __msg(" 2: .1........ (bf) r2 = r1")
27 __msg(" 3: ..2....... (bf) r3 = r2")
28 __msg(" 4: ...3...... (bf) r4 = r3")
29 __msg(" 5: ....4..... (bf) r5 = r4")
35 __msg("11: 0......... (95) exit")
56 __msg("0: .......... (b7) r1 = 7")
58 __msg("2: .......... (b7) r2 = 7")
61 __msg("5: .......... (b7) r0 = 0")
[all …]
|
| H A D | verifier_spill_fill.c | 467 __msg("fp-8=0m??scalar()")
520 __msg("11: (0f) r1 += r2")
602 __msg("5: (0f) r1 += r2")
648 __msg("9: (0f) r1 += r2") in __flag()
662 __msg("13: (0f) r1 += r2") in __flag()
725 __msg("9: (0f) r1 += r2") in __flag()
1099 __msg("8: safe")
1180 __msg("8: safe")
1217 __msg("9: (95) exit")
1218 __msg("from 2 to 7")
[all …]
|
| H A D | verifier_precision.c | 10 __msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10")
12 __msg("mark_precise: frame0: regs=r2 stack= before 1: (87) r2 = -r2")
13 __msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 8")
30 __msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10")
33 __msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 0")
51 __msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10")
54 __msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 0")
79 __msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 0")
154 __msg("2: (07) r0 += 1 ; R0_w=6")
155 __msg("3: (35) if r0 >= 0xa goto pc+1")
[all …]
|
| H A D | exceptions_assert.c | 21 __msg(": R0_w=0xffffffff80000000")
23 __msg(": R0_w=0x7fffffff")
25 __msg(": R0_w=0")
32 __msg(": R0_w=scalar(id=1,smax=0x7ffffffe)")
36 __msg(": R0_w=scalar(id=1,smax=0xffffffff7fffffff")
39 __msg(": R0_w=scalar(id=1,smax=0x7fffffff)")
41 __msg(": R0_w=scalar(id=1,smax=0)")
43 __msg(": R0_w=scalar(id=1,smax=0xffffffff80000000")
50 __msg(": R0_w=scalar(id=1,smin=0xffffffff80000001")
89 __msg(": R0=0 R1=ctx() R2=4096 R10=fp0")
[all …]
|
| H A D | dynptr_fail.c | 81 __failure __msg("Unreleased reference id=2")
94 __failure __msg("Unreleased reference id=4")
130 __failure __msg("Unreleased reference id")
195 __failure __msg("invalid read from stack")
213 __failure __msg("invalid read from stack")
401 __failure __msg("invalid read from stack")
542 __failure __msg("invalid read from stack")
575 __failure __msg("invalid read from stack")
602 __failure __msg("invalid read from stack")
720 __success __msg("12: safe") __log_level(2)
[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 #0")
94 __failure __msg("expected an initialized iter_num as arg #0")
121 __failure __msg("Unreleased reference id=1")
146 __failure __msg("expected an initialized iter_num as arg #0")
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)")
334 __failure __msg("invalid read from stack")
[all …]
|
| H A D | exceptions_fail.c | 63 __failure __msg("exception cb only supports single integer argument") in __exception_cb()
96 __failure __msg("cannot be called from callback subprog")
179 __failure __msg("Unreleased reference")
209 __failure __msg("Unreleased reference")
223 __failure __msg("cannot be called from callback")
231 __failure __msg("Unreleased reference")
265 __failure __msg("cannot be called from callback subprog") in __exception_cb()
273 __failure __msg("cannot call exception cb directly") in __exception_cb()
281 __failure __msg("cannot call exception cb directly") in __exception_cb()
331 __failure __msg("cannot be called from callback")
[all …]
|
| H A D | verifier_sock_addr.c | 17 __failure __msg("At program exit the register R0 has smin=0 smax=0 should have been in [1, 1]")
31 __failure __msg("At program exit the register R0 has smin=0 smax=0 should have been in [1, 1]")
45 __failure __msg("At program exit the register R0 has smin=0 smax=0 should have been in [1, 1]")
66 __failure __msg("At program exit the register R0 has smin=2 smax=2 should have been in [0, 1]")
87 __failure __msg("At program exit the register R0 has smin=2 smax=2 should have been in [0, 1]")
108 __failure __msg("At program exit the register R0 has smin=2 smax=2 should have been in [0, 1]")
122 __failure __msg("At program exit the register R0 has smin=0 smax=0 should have been in [1, 1]")
136 __failure __msg("At program exit the register R0 has smin=0 smax=0 should have been in [1, 1]")
150 __failure __msg("At program exit the register R0 has smin=0 smax=0 should have been in [1, 1]")
164 __failure __msg("At program exit the register R0 has smin=0 smax=0 should have been in [1, 1]")
[all …]
|
| H A D | task_kfunc_failure.c | 31 __failure __msg("Possibly NULL pointer passed to trusted arg0")
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")
265 __failure __msg("R1 must be a rcu pointer")
280 __failure __msg("access beyond the end of member comm")
288 __failure __msg("access beyond the end of member comm")
296 __failure __msg("write into memory")
304 __failure __msg("R1 type=ptr_ expected")
[all …]
|
| H A D | irq.c | 18 __failure __msg("arg#0 doesn't point to an irq flag on stack")
196 __failure __msg("sleepable helper bpf_copy_from_user#")
240 __failure __msg("cannot restore irq state out of order")
327 __failure __msg("expected an initialized")
339 __failure __msg("expected uninitialized")
350 __failure __msg("expected an initialized")
361 __failure __msg("Unreleased reference id=1")
378 __failure __msg("expected an initialized")
390 __failure __msg("expected an initialized")
535 __failure __msg("function calls are not allowed")
[all …]
|
| H A D | verifier_bounds.c | 142 __failure __msg("map_value pointer and 4294967295")
204 __failure __msg("value_size=8 off=1073741825")
233 __failure __msg("value 1073741823")
451 __failure __msg("R0 unbounded memory access")
518 __failure __msg("map_value pointer and 2147483646")
543 __failure __msg("pointer offset 1073741822")
570 __failure __msg("pointer offset -1073741822")
778 __failure __msg("invalid access to map value")
805 __failure __msg("invalid access to map value")
1296 __msg("r6 *= r7 {{.*}}; R6_w=scalar()")
[all …]
|
| H A D | verifier_stack_ptr.c | 40 __failure __msg("misaligned stack access off 0+-8+2 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")
271 __failure __msg("math between fp pointer")
289 __failure __msg("invalid write to stack")
307 __failure __msg("invalid write to stack")
326 __failure __msg("fp pointer offset")
[all …]
|
| H A D | verifier_helper_restricted.c | 33 __failure __msg("program of this type cannot use helper bpf_ktime_get_coarse_ns")
47 __failure __msg("program of this type cannot use helper bpf_ktime_get_coarse_ns")
61 __failure __msg("program of this type cannot use helper 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")
235 __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")
185 __failure __msg("R1 type=untrusted_ptr_ expected=percpu_ptr_")
205 __failure __msg("off=8 kptr isn't referenced kptr")
235 __failure __msg("store to referenced kptr disallowed")
255 __failure __msg("R2 must be referenced")
348 __failure __msg("Unreleased reference id=4 alloc_insn=")
[all …]
|
| H A D | verifier_global_ptr_args.c | 29 __msg("Validating subprog_trusted_task_nullable() func#1...")
30 __msg(": R1=trusted_ptr_or_null_task_struct(")
66 __msg("R1 type=scalar expected=ptr_, trusted_ptr_, rcu_ptr_")
67 __msg("Caller passes invalid args into func#1 ('subprog_trusted_task_nonnull')")
75 __msg("R1 type=ptr_or_null_ expected=ptr_, trusted_ptr_, rcu_ptr_")
96 __msg("Validating subprog_trusted_task_nonnull() func#1...")
97 __msg(": R1=trusted_ptr_task_struct(")
120 __msg("Validating subprog_nullable_task_flavor() func#1...")
121 __msg(": R1=trusted_ptr_or_null_task_struct(")
138 __msg("Validating subprog_nonnull_task_flavor() func#1...")
[all …]
|
| H A D | verifier_helper_value_access.c | 181 __failure __msg("R2 min value is negative")
261 __failure __msg("R2 invalid zero-sized read")
315 __failure __msg("R2 min value is negative")
342 __failure __msg("R2 min value is negative")
426 __failure __msg("R2 invalid zero-sized read")
481 __failure __msg("R2 min value is negative")
509 __failure __msg("R2 min value is negative")
596 __failure __msg("R2 invalid zero-sized read")
624 __failure __msg("R1 unbounded memory access")
857 __failure __msg("R1 min value is negative")
[all …]
|
| H A D | iters_testmod_seq.c | 23 __msg("fp-16_w=iter_testmod_seq(ref_id=1,state=active,depth=0)")
24 __msg("fp-16=iter_testmod_seq(ref_id=1,state=drained,depth=0)")
25 __msg("call bpf_iter_testmod_seq_destroy")
41 __msg("fp-16_w=iter_testmod_seq(ref_id=1,state=active,depth=0)")
42 __msg("fp-16=iter_testmod_seq(ref_id=1,state=drained,depth=0)")
43 __msg("call bpf_iter_testmod_seq_destroy")
61 __msg("fp-16_w=iter_testmod_seq(ref_id=1,state=active,depth=0)")
62 __msg("fp-16=iter_testmod_seq(ref_id=1,state=drained,depth=0)")
63 __msg("call bpf_iter_testmod_seq_destroy")
82 __msg("expected an initialized iter_testmod_seq as arg #1")
[all …]
|
| H A D | verifier_vfs_reject.c | 15 __failure __msg("Possibly NULL pointer passed to trusted arg0")
30 __failure __msg("arg#0 pointer type STRUCT task_struct must point to scalar, or struct with scalar")
48 __failure __msg("R1 must be referenced or trusted")
68 __failure __msg("Unreleased reference")
82 __failure __msg("release kernel function bpf_put_file expects")
91 __failure __msg("Possibly NULL pointer passed to trusted arg0")
100 __failure __msg("R1 must be referenced or trusted")
114 __failure __msg("R1 must be referenced or trusted")
130 __failure __msg("kernel function bpf_path_d_path args#0 expected pointer to STRUCT path but R1 has …
138 __failure __msg("invalid access to map value, value_size=4096 off=0 size=8192")
[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")
318 __failure __msg("Unreleased reference")
333 __failure __msg("Unreleased reference")
1082 __failure __msg("!read_ok")
[all …]
|
| 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")
124 __failure __msg("infinite loop detected")
150 __failure __msg("infinite loop detected")
|
| 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")
275 __failure __msg("unbounded min value")
342 __failure __msg("unbounded min value")
376 __failure __msg("unbounded min value")
411 __failure __msg("unbounded min value")
445 __failure __msg("unbounded min value")
[all …]
|
| H A D | preempt_lock.c | 11 __failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_preempt_disable-ed reg…
19 __failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_preempt_disable-ed reg…
28 __failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_preempt_disable-ed reg…
38 __failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_preempt_disable-ed reg…
60 __failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_preempt_disable-ed reg…
68 __failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_preempt_disable-ed reg…
107 __failure __msg("sleepable helper bpf_copy_from_user#")
119 __failure __msg("kernel func bpf_copy_from_user_str is sleepable within non-preemptible region")
180 __failure __msg("global functions that may sleep are not allowed in non-sleepable context")
191 __failure __msg("global functions that may sleep are not allowed in non-sleepable context")
[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")
249 __failure __msg("invalid access to map value, value_size=64 off=-2 size=4")
270 __failure __msg("get_local_storage() doesn't support non-zero flags")
[all …]
|