| /linux/tools/testing/selftests/bpf/progs/ |
| 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 …]
|
| 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 …]
|
| 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 …]
|
| A D | verifier_precision.c | 9 __msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10") 11 __msg("mark_precise: frame0: regs=r2 stack= before 1: (87) r2 = -r2") 12 __msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 8") 29 __msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10") 32 __msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 0") 50 __msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10") 53 __msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 0") 78 __msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 0") 105 __msg("2: (07) r0 += 1 ; R0_w=6") 106 __msg("3: (35) if r0 >= 0xa goto pc+1") [all …]
|
| 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 …]
|
| 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") 294 __failure __msg("invalid mem access 'scalar'") 529 __failure __msg("type=map_value expected=fp") 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) 1315 __failure __msg("unbounded memory access") [all …]
|
| 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)") 334 __failure __msg("invalid read from stack") [all …]
|
| A D | exceptions_fail.c | 96 __failure __msg("cannot be called from callback subprog") 134 __failure __msg("bpf_rcu_read_unlock is missing") 150 __failure __msg("bpf_rcu_read_unlock is missing") 179 __failure __msg("Unreleased reference") 209 __failure __msg("Unreleased reference") 223 __failure __msg("cannot be called from callback") 231 __failure __msg("Unreleased reference") 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 …]
|
| 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 …]
|
| 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") 251 __failure __msg("R1 must be a rcu pointer") 266 __failure __msg("access beyond the end of member comm") 274 __failure __msg("access beyond the end of member comm") 282 __failure __msg("write into memory") 290 __failure __msg("R1 type=ptr_ expected") [all …]
|
| 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 …]
|
| 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=5 alloc_insn=") [all …]
|
| 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 …]
|
| 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 …]
|
| 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 …]
|
| 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 #2") [all …]
|
| 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 …]
|
| 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")
|
| 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 …]
|
| A D | verifier_stack_ptr.c | 40 __failure __msg("misaligned stack access off 0+-8+2 size 8") 56 __failure __msg("misaligned stack access off 0+-10+8 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") [all …]
|
| A D | preempt_lock.c | 9 __failure __msg("1 bpf_preempt_enable is missing") 17 __failure __msg("2 bpf_preempt_enable(s) are missing") 26 __failure __msg("3 bpf_preempt_enable(s) are missing") 36 __failure __msg("1 bpf_preempt_enable is missing") 58 __failure __msg("1 bpf_preempt_enable is missing") 66 __failure __msg("2 bpf_preempt_enable(s) are missing") 75 __failure __msg("1 bpf_preempt_enable is missing") 105 __failure __msg("sleepable helper bpf_copy_from_user#") 123 __failure __msg("global function calls are not allowed with preemption disabled")
|
| 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 …]
|
| 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") 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") 194 __failure __msg("arg#0 pointer type STRUCT cgroup must point") [all …]
|
| A D | verifier_bounds.c | 17 __failure __msg("R0 max value is outside of the allowed memory range") 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") 596 __failure __msg("map_value pointer and 1000000000000") 778 __failure __msg("invalid access to map value") [all …]
|
| 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 …]
|