/linux-master/tools/testing/selftests/bpf/progs/ |
H A D | verifier_subprog_precision.c | 44 __msg("7: (0f) r1 += r0") 45 __msg("mark_precise: frame0: regs=r0 stack= before 6: (bf) r1 = r7") 46 __msg("mark_precise: frame0: regs=r0 stack= before 5: (27) r0 *= 4") 47 __msg("mark_precise: frame0: regs=r0 stack= before 11: (95) exit") 48 __msg("mark_precise: frame1: regs=r0 stack= before 10: (bf) r0 = r1") 49 __msg("mark_precise: frame1: regs=r1 stack= before 4: (85) call pc+5") 50 __msg("mark_precise: frame0: regs=r1 stack= before 3: (bf) r1 = r6") 51 __msg("mark_precise: frame0: regs=r6 stack= before 2: (b7) r6 = 3") 103 __msg("6: (0f) r1 += r0") 104 __msg("mark_precis [all...] |
H A D | verifier_precision.c | 9 __msg("mark_precise: frame0: regs=r2 stack= before 3: (bf) r1 = r10") 10 __msg("mark_precise: frame0: regs=r2 stack= before 2: (55) if r2 != 0xfffffff8 goto pc+2") 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") 30 __msg("mark_precise: frame0: regs=r2 stack= before 2: (55) if r2 != 0x0 goto pc+2") 31 __msg("mark_precise: frame0: regs=r2 stack= before 1: (d4) r2 = le16 r2") 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") 51 __msg("mark_precis [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("frame [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("f [all...] |
H A D | test_global_func15.c | 16 __failure __msg("At program exit the register R0 has ") 30 __msg("mark_precise: frame0: regs=r0 stack= before 2: (b7) r0 = 1") 32 __msg("mark_precise: frame0: regs=r0 stack= before 0: (85) call bpf_get_prandom_u32#7") 33 __msg("At program exit the register R0 has ")
|
H A D | verifier_direct_stack_access_wraparound.c | 10 __failure __msg("fp pointer and 2147483647") 26 __failure __msg("fp pointer and 1073741823") 42 __failure __msg("fp pointer offset 1073741822")
|
H A D | verifier_cgroup_inv_retcode.c | 10 __failure __msg("smin=0 smax=4294967295 should have been in [0, 1]") 33 __failure __msg("smin=0 smax=3 should have been in [0, 1]") 56 __failure __msg("smin=2 smax=2 should have been in [0, 1]") 67 __failure __msg("R0 is not a known value (ctx)") 78 __failure __msg("R0 has unknown scalar value should have been in [0, 1]")
|
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_uninit.c | 11 __failure __msg("R2 !read_ok") 23 __failure __msg("R15 is invalid") 37 __failure __msg("R0 !read_ok") 49 __failure __msg("R0 !read_ok")
|
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 | 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")
|
H A D | exceptions_assert.c | 21 __msg(": R0_w=0xffffffff80000000") 23 __msg(": R0_w=0x7fffffff") 25 __msg(": R0_w=0") 27 __msg(": R0_w=0x8000000000000000 R1_w=0x8000000000000000") 29 __msg(": R0_w=0x7fffffffffffffff R1_w=0x7fffffffffffffff") 32 __msg(": R0_w=scalar(id=1,smax=0x7ffffffe)") 34 __msg(": R0_w=scalar(id=1,smax=-1,umin=0x8000000000000000,var_off=(0x8000000000000000; 0x7fffffffffffffff))") 36 __msg(": R0_w=scalar(id=1,smax=0xffffffff7fffffff") 39 __msg(": R0_w=scalar(id=1,smax=0x7fffffff)") 41 __msg(" [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("expecte [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_netfilter_retcode.c | 9 __failure __msg("R0 is not a known value") 42 __failure __msg("R0 has smin=2 smax=2 should have been in [0, 1]")
|
H A D | verifier_basic_stack.c | 17 __failure __msg("invalid write to stack") 30 __success __log_level(4) __msg("stack depth 8") 48 __success __log_level(4) __msg("stack depth 8") 61 __failure __msg("R1 subtraction from stack pointer") 89 __failure __msg("misaligned stack access")
|
H A D | timer_failure.c | 50 __msg("mark_precise: frame0: regs=r0 stack= before") 51 __msg(": (85) call bpf_get_prandom_u32#7") /* anchor message */ 53 __msg("mark_precise: frame0: regs=r0 stack= before ") __msg(": (85) call bpf_get_prandom_u32#7") 54 __msg("should have been in [0, 0]")
|
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") 75 __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("tracin [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("A [all...] |
H A D | verifier_map_ret_val.c | 18 __failure __msg("fd 0 is not pointing to valid bpf_map") 39 __failure __msg("R0 invalid mem access 'map_value_or_null'") 61 __failure __msg("misaligned value access") 85 __failure __msg("R0 invalid mem access")
|
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("R [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 | verifier_var_off.c | 17 __failure __msg("variable ctx access var_off=(0x0; 0x4)") 91 __log_level(4) __msg("stack depth 16") 131 __log_level(4) __msg("stack depth 16") 165 __msg("R2 invalid mem access 'scalar'") 206 __failure __msg("invalid unbounded variable-offset indirect access to stack R4") 239 __failure __msg("invalid variable-offset indirect access to stack R2") 272 __failure __msg("invalid variable-offset indirect access to stack R1") 297 __failure __msg("invalid variable-offset indirect access to stack R2")
|
H A D | wq_failures.c | 50 __msg(": (85) call bpf_wq_init#") /* anchor message */ 51 __msg("pointer in R2 isn't map pointer") 75 __msg(": (85) call bpf_wq_init#") /* anchor message */ 76 __msg("workqueue pointer in R1 map_uid=0 doesn't match map pointer in R2 map_uid=0") 100 __msg(": (85) call bpf_wq_set_callback_impl#") /* anchor message */ 101 __msg("arg#0 doesn't point to a map value") 126 __msg(": (85) call bpf_wq_set_callback_impl#") /* anchor message */ 127 __msg("off 1 doesn't point to 'struct bpf_wq' that is at 0")
|
H A D | verifier_value_illegal_alu.c | 24 __failure __msg("R0 bitwise operator &= on pointer") 48 __failure __msg("R0 32-bit pointer arithmetic prohibited") 72 __failure __msg("R0 pointer arithmetic with /= operator") 96 __failure __msg("invalid mem access 'scalar'") 121 __failure __msg("R0 invalid mem access 'scalar'") 151 __failure __msg("R7 pointer arithmetic on flow_keys prohibited")
|