| /linux/tools/testing/selftests/bpf/progs/ |
| H A D | verifier_subprog_precision.c | 42 __msg("7: (0f) r1 += r0") 43 __msg("mark_precise: frame0: regs=r0 stack= before 6: (bf) r1 = r7") 44 __msg("mark_precise: frame0: regs=r0 stack= before 5: (27) r0 *= 4") 45 __msg("mark_precise: frame0: regs=r0 stack= before 11: (95) exit") 46 __msg("mark_precise: frame1: regs=r0 stack= before 10: (bf) r0 = r1") 47 __msg("mark_precise: frame1: regs=r1 stack= before 4: (85) call pc+5") 48 __msg("mark_precise: frame0: regs=r1 stack= before 3: (bf) r1 = r6") 49 __msg("mark_precise: frame0: regs=r6 stack= before 2: (b7) r6 = 3") 101 __msg("6: (0f) r1 += r0") 102 __msg("mark_precise: frame0: last_idx 6 first_idx 0 subseq_idx -1") [all …]
|
| H A D | verifier_scalar_ids.c | 23 __msg("6: (0f) r3 += r0") 24 __msg("frame0: regs=r0 stack= before 4: (25) if r1 > 0x7 goto pc+0") 25 __msg("frame0: parent state regs=r0,r1,r2 stack=:") 26 __msg("frame0: regs=r0,r1,r2 stack= before 3: (bf) r2 = r0") 28 __msg("from 4 to 5: ") 29 __msg("6: (0f) r3 += r0") 30 __msg("frame0: regs=r0 stack= before 5: (bf) r3 = r10") 31 __msg("frame0: regs=r0 stack= before 4: (25) if r1 > 0x7 goto pc+0") 33 __msg("frame0: parent state regs= stack=:") 67 __msg("frame0: regs=r0 stack= before 5: (2d) if r1 > r3 goto pc+0") 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") 30 __msg(" 6: .....5.... (bf) r6 = r5") 31 __msg(" 7: ......6... (bf) r7 = r6") 32 __msg(" 8: .......7.. (bf) r8 = r7") 33 __msg(" [all...] |
| H A D | verifier_precision.c | 19 __msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10") 20 __msg("mark_precise: frame0: regs=r2 stack= before 2: (55) if r2 != 0xfffffff8 goto pc+2") 21 __msg("mark_precise: frame0: regs=r2 stack= before 1: (87) r2 = -r2") 22 __msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 8") 39 __msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10") 40 __msg("mark_precise: frame0: regs=r2 stack= before 2: (55) if r2 != 0x0 goto pc+2") 41 __msg("mark_precise: frame0: regs=r2 stack= before 1: (d4) r2 = le16 r2") 42 __msg("mark_precise: frame0: regs=r2 stack= before 0: (b7) r2 = 0") 60 __msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10") 61 __msg("mark_precise: frame0: regs=r2 stack= before 2: (55) if r2 != 0x0 goto pc+2") [all …]
|
| H A D | verifier_spill_fill.c | 87 __failure __msg("R0 pointer arithmetic on ringbuf_mem_or_null prohibited") 123 __failure __msg("R0 invalid mem access 'scalar'") 252 __failure __msg("math between pkt pointer and register with unbounded min value is not allowed") 278 __failure __msg("invalid access to packet") 310 __failure __msg("invalid access to packet") 387 __failure __msg("math between ctx pointer and 4294967295 is not allowed") 427 __failure __msg("dereference of modified ctx ptr R6 off=65535 disallowed") 467 __msg("fp-8=0m??scalar()") 468 __msg("fp-16=00mm??scalar()") 469 __msg("fp-24=00mm???scalar()") [all …]
|
| H A D | exceptions_assert.c | 21 __msg("R{{.}}=0xffffffff80000000") 23 __msg("R{{.}}=0x7fffffff") 25 __msg("R{{.}}=0") 27 __msg("R{{.}}=0x8000000000000000") 29 __msg("R{{.}}=0x7fffffffffffffff") 32 __msg("R{{.}}=scalar(id=1,smax=0x7ffffffe)") 34 __msg("R{{.}}=scalar(id=1,smax=-1,umin=0x8000000000000000,var_off=(0x8000000000000000; 0x7fffffffff… 36 __msg("R{{.}}=scalar(id=1,smax=0xffffffff7fffffff") 39 __msg("R{{.}}=scalar(id=1,smax=0x7fffffff)") 41 __msg("R{{.}}=scalar(id=1,smax=0)") [all …]
|
| H A D | verifier_subprog_insn_stats.c | 20 __msg("subprog 0 (stats_main_only) main insns_self 2 insns_total 2 stack 0") 21 __msg("processed 2 insns") 54 __msg("subprog 0 (stats_static_chain) main insns_self 2 insns_total 6 stack 0") 55 __msg("subprog {{[0-9]+}} (stats_chain_parent) static insns_self 2 insns_total 4 stack 0") 56 __msg("subprog {{[0-9]+}} (stats_chain_leaf) static insns_self 2 insns_total 2 stack 0") 57 __msg("processed 6 insns") 91 __msg("subprog 0 (stats_shared_roots) main insns_self 3 insns_total 5 stack 0") 92 __msg("subprog {{[0-9]+}} (stats_shared_leaf) static insns_self 4 insns_total 4 stack 0") 93 __msg("subprog {{[0-9]+}} (stats_global_root) global insns_self 2 insns_total 4 stack 0") 94 __msg("processed 9 insns") [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_") in __flag() 90 __msg("R1 type=scalar expected=ptr_, trusted_ptr_, rcu_ptr_") 91 __msg("Caller passes invalid args into func#1 ('subprog_trusted_task_nonnull')") 99 __msg("R1 type=trusted_ptr_or_null_ expected=ptr_, trusted_ptr_, rcu_ptr_") 100 __msg("Caller passes invalid args into func#1 ('subprog_trusted_task_nonnull')") 120 __msg("Validating subprog_trusted_task_nonnull() func#1...") 121 __msg(": R1=trusted_ptr_task_struct(") 144 __msg("Validating subprog_nullable_task_flavor() func#1...") [all …]
|
| H A D | verifier_bounds.c | 18 __failure __msg("R0 max value is outside of the allowed memory range") 50 __msg("R0 min value is negative, either use unsigned index or do a if (index >=0) check.") 143 __failure __msg("map_value pointer and 4294967295") 174 __failure __msg("R0 min value is outside of the allowed memory range") 205 __failure __msg("map_value pointer offset 1073741822 is not allowed") 234 __failure __msg("value 1073741823") 305 __msg("value -4294967168 makes map_value pointer be out of bounds") 345 __failure __msg("value -4294967168 makes map_value pointer be out of bounds") 419 __failure __msg("R0 max value is outside of the allowed memory range") 452 __failure __msg("R0 unbounded memory access") [all …]
|
| H A D | dynptr_fail.c | 81 __failure __msg("Unreleased reference id=1") 94 __failure __msg("Unreleased reference id=3") 130 __failure __msg("Unreleased reference id") 139 __failure __msg("Expected an initialized dynptr as R1") 152 __failure __msg("Expected an initialized dynptr as R3") 172 __failure __msg("type=mem expected=ringbuf_mem") 195 __failure __msg("invalid read from stack") 213 __failure __msg("invalid read from stack") 231 __failure __msg("value is outside of the allowed memory range") 253 __failure __msg("value is outside of the allowed memory range") [all …]
|
| H A D | exceptions_fail.c | 63 __failure __msg("Global function exception_cb_bad_ret_type1() return value not void or scalar.") in __exception_cb() 72 __failure __msg("exception cb only supports single integer argument") in __exception_cb() 81 __failure __msg("exception cb only supports single integer argument") in __exception_cb() 99 __failure __msg("exception cb cannot return void") in __exception_cb() 114 __failure __msg("cannot be called from callback subprog") 136 __failure __msg("function calls are not allowed while holding a lock") 145 __failure __msg("function calls are not allowed while holding a lock") 152 __failure __msg("bpf_throw cannot be used inside bpf_rcu_read_lock-ed region") 168 __failure __msg("bpf_throw cannot be used inside bpf_rcu_read_lock-ed region") 184 __failure __msg("function calls are not allowed while holding a lock") [all …]
|
| H A D | iters_state_safety.c | 33 __msg("fp-8=iter_num(id=1,state=active,depth=0)") 57 __failure __msg("cannot pass in iter at an offset=0") 78 __failure __msg("Unreleased reference id=1") 98 __failure __msg("expected an initialized iter_num as R1") 116 __failure __msg("expected an initialized iter_num as R1") 143 __failure __msg("Unreleased reference id=1") 168 __failure __msg("expected an initialized iter_num as R1") 210 __msg("returning from callee:") 211 __msg("Unreleased reference id=1") 221 __msg("fp-8=iter_num(id=1,state=active,depth=0)") [all …]
|
| H A D | verifier_var_off.c | 17 __failure __msg("variable ctx access var_off=(0x0; 0x4)") 66 __msg("mark_precise: frame0: regs= stack=-8") 67 __msg("R3=0") 92 __msg("mark_precise: frame0: regs= stack=-8,-16") 93 __msg("R3=0") 119 __msg("mark_precise: frame0: regs= stack=-8") 120 __msg("R3=0") 152 __msg("invalid variable-offset write to stack R1") 202 __msg("subprog 0 (stack_write_priv_vs_unpriv) main {{.*}} stack 16") 243 __msg("subprog 0 (stack_write_followed_by_read) main {{.*}} stack 16") [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 | irq.c | 18 __failure __msg("R1 doesn't point to an irq flag on stack") in irq_save_bad_arg() 26 __failure __msg("R1 doesn't point to an irq flag on stack") in irq_restore_bad_arg() 34 __failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_local_irq_save-ed region") in irq_restore_missing_2() 46 __failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_local_irq_save-ed region") in irq_restore_missing_3() 60 __failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_local_irq_save-ed region") in irq_restore_missing_3_minus_2() 86 __failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_local_irq_save-ed region") in irq_restore_missing_1_subprog() 96 __failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_local_irq_save-ed region") in irq_restore_missing_2_subprog() 108 __failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_local_irq_save-ed region") in irq_restore_missing_3_subprog() 122 __failure __msg("BPF_EXIT instruction in main prog cannot be used inside bpf_local_irq_save-ed region") in irq_restore_missing_3_minus_2_subprog() 196 __failure __msg("sleepabl in irq_sleepable_helper() [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_global_subprogs.c | 51 __msg("('global_calls_good_only') is global and assumed valid.") 53 __msg("Validating global_good() func") 54 __msg("('global_good') is safe for any args that match its prototype") 55 __msg("subprog 0 (chained_global_func_calls_success) main insns_self 7 insns_total 7 stack") 56 __msg("subprog {{[0-9]+}} (global_calls_good_only) global insns_self 2 insns_total 2 stack") 58 __msg("subprog {{[0-9]+}} (global_good) global insns_self 3 insns_total 3 stack") 59 __msg("processed 12 insns") 61 __msg("subprog {{[0-9]+}} (global_good) global insns_self 5 insns_total 5 stack") 62 __msg("processed 14 insns") 76 __msg("('global_calls_bad') is global and assumed valid.") [all …]
|
| H A D | task_kfunc_failure.c | 32 __failure __msg("Possibly NULL pointer passed to trusted R1") 53 __failure __msg("R1 is fp expected STRUCT task_struct") 69 __failure __msg("calling kernel function bpf_task_acquire is not allowed") 84 __failure __msg("calling kernel function bpf_task_acquire is not allowed") 104 __failure __msg("Possibly NULL pointer passed to trusted R1") 119 __failure __msg("Unreleased reference") 133 __failure __msg("Unreleased reference") 153 __failure __msg("Possibly NULL pointer passed to trusted R1") 166 __failure __msg("Possibly NULL pointer passed to trusted R1") 182 __failure __msg("release kfunc bpf_task_release expects referenced PTR_TO_BTF_ID passed to R1") [all …]
|
| H A D | verifier_cfg.c | 11 __failure __msg("unreachable") 23 __failure __msg("unreachable") 36 __failure __msg("jump out of range") 49 __failure __msg("jump out of range") 61 __failure __msg("BUG_ldx_99") 74 __failure __msg("unreachable insn 1") 86 __failure __msg("unreachable insn 4") 101 __failure __msg("infinite loop detected") 138 __failure __msg("infinite loop detected") 164 __failure __msg("infinite loop detected")
|
| H A D | verifier_helper_restricted.c | 22 __failure __msg("program of this type cannot use helper bpf_ktime_get_coarse_ns") 36 __failure __msg("program of this type cannot use helper bpf_ktime_get_coarse_ns") in in_bpf_prog_type_kprobe_1() 50 __failure __msg("program of this type cannot use helper bpf_ktime_get_coarse_ns") in in_bpf_prog_type_tracepoint_1() 64 __failure __msg("program of this type cannot use helper bpf_ktime_get_coarse_ns") in bpf_prog_type_perf_event_1() 78 __failure __msg("tracing progs cannot use bpf_spin_lock yet") in bpf_prog_type_raw_tracepoint_1() 101 __failure __msg("tracing progs cannot use bpf_spin_lock yet") in in_bpf_prog_type_kprobe_2() 124 __failure __msg("tracing progs cannot use bpf_spin_lock yet") in bpf_prog_type_perf_event_2() 147 __failure __msg("tracing progs cannot use bpf_spin_lock yet") in in_bpf_prog_type_tracepoint_2()
|
| H A D | verifier_vfs_reject.c | 16 __failure __msg("Possibly NULL pointer passed to trusted R1") 31 __failure __msg("R1 is fp expected STRUCT task_struct") 49 __failure __msg("R1 must be referenced or trusted") 69 __failure __msg("Unreleased reference") 83 __failure __msg("release kfunc bpf_put_file expects referenced PTR_TO_BTF_ID passed to R1") 92 __failure __msg("Possibly NULL pointer passed to trusted R1") 101 __failure __msg("dereference of modified untrusted_ptr_") 115 __failure __msg("dereference of modified untrusted_ptr_") 131 __failure __msg("kernel function bpf_path_d_path R1 expected pointer to STRUCT path but R1 has a po… 139 __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") 266 __failure __msg("Possibly NULL pointer passed to trusted R1") 285 __failure __msg("Possibly NULL pointer passed to trusted R1") 303 __failure __msg("Possibl [all...] |
| H A D | verifier_helper_value_access.c | 99 __failure __msg("R2 invalid zero-sized read: u64=[0,0]") 126 __failure __msg("R2 invalid zero-sized read: u64=[0,4]") 155 __failure __msg("invalid access to map value, value_size=48 off=0 size=56") 181 __failure __msg("R2 min value is negative") 261 __failure __msg("R2 invalid zero-sized read") 287 __failure __msg("invalid access to map value, value_size=48 off=4 size=52") 315 __failure __msg("R2 min value is negative") 342 __failure __msg("R2 min value is negative") 426 __failure __msg("R2 invalid zero-sized read") 452 __failure __msg("invalid access to map value, value_size=48 off=4 size=52") [all …]
|
| H A D | iters_testmod_seq.c | 23 __msg("fp-16=iter_testmod_seq(id=1,state=active,depth=0)") 24 __msg("fp-16=iter_testmod_seq(id=1,state=drained,depth=0)") 25 __msg("call bpf_iter_testmod_seq_destroy") 41 __msg("fp-16=iter_testmod_seq(id=1,state=active,depth=0)") 42 __msg("fp-16=iter_testmod_seq(id=1,state=drained,depth=0)") 43 __msg("call bpf_iter_testmod_seq_destroy") 61 __msg("fp-16=iter_testmod_seq(id=1,state=active,depth=0)") 62 __msg("fp-16=iter_testmod_seq(id=1,state=drained,depth=0)") 63 __msg("call bpf_iter_testmod_seq_destroy") 82 __msg("expecte [all...] |
| H A D | verifier_lsm.c | 32 __failure __msg("R0 has smin=-4096 smax=-4096 should have been in [-4095, 0]") 43 __failure __msg("R0 has smin=4096 smax=4096 should have been in [-4095, 0]") 54 __failure __msg("R0 has smin=1 smax=1 should have been in [-4095, 0]") 88 __failure __msg("R0 has smin=-1 smax=-1 should have been in [0, 1]") 99 __failure __msg("R0 has smin=2 smax=2 should have been in [0, 1]") 132 __failure __msg("points to disabled hook") 143 __failure __msg("points to disabled hook") 154 __failure __msg("points to disabled hook") 165 __failure __msg("R1 invalid mem access 'trusted_ptr_or_null_'") 193 __failure __msg("Program of this type cannot be sleepable") [all …]
|