| /linux/tools/testing/selftests/bpf/verifier/ |
| A D | direct_value_access.c | 108 .errstr = "invalid access to map value pointer",
132 .errstr = "invalid access to map value pointer",
261 .errstr = "invalid bpf_ld_imm64 insn",
272 .errstr = "BPF_LD_IMM64 uses reserved fields",
283 .errstr = "BPF_LD_IMM64 uses reserved fields",
294 .errstr = "invalid bpf_ld_imm64 insn",
305 .errstr = "invalid bpf_ld_imm64 insn",
316 .errstr = "BPF_LD_IMM64 uses reserved fields",
327 .errstr = "invalid bpf_ld_imm64 insn",
338 .errstr = "invalid bpf_ld_imm64 insn",
[all …]
|
| A D | ld_imm64.c | 12 .errstr = "invalid BPF_LD_IMM insn",
26 .errstr = "invalid BPF_LD_IMM insn",
41 .errstr = "invalid bpf_ld_imm64 insn",
50 .errstr = "invalid bpf_ld_imm64 insn",
79 .errstr = "uses reserved fields",
89 .errstr = "invalid bpf_ld_imm64 insn",
99 .errstr = "invalid bpf_ld_imm64 insn",
109 .errstr = "invalid bpf_ld_imm64 insn",
120 .errstr = "not pointing to valid bpf_map",
131 .errstr = "invalid bpf_ld_imm64 insn",
[all …]
|
| A D | helper_restricted.c | 8 .errstr = "unknown func bpf_ktime_get_coarse_ns",
19 .errstr = "unknown func bpf_ktime_get_coarse_ns",
30 .errstr = "unknown func bpf_ktime_get_coarse_ns",
41 .errstr = "unknown func bpf_ktime_get_coarse_ns",
61 .errstr = "tracing progs cannot use bpf_timer yet",
81 .errstr = "tracing progs cannot use bpf_timer yet",
101 .errstr = "tracing progs cannot use bpf_timer yet",
121 .errstr = "tracing progs cannot use bpf_timer yet",
139 .errstr = "tracing progs cannot use bpf_spin_lock yet",
157 .errstr = "tracing progs cannot use bpf_spin_lock yet",
[all …]
|
| A D | cfg.c | 7 .errstr = "unreachable",
17 .errstr = "unreachable",
26 .errstr = "jump out of range",
35 .errstr = "jump out of range",
44 .errstr = "unreachable insn 1",
57 .errstr = "unreachable insn 4",
70 .errstr = "infinite loop detected",
|
| A D | cgroup_storage.c | 29 .errstr = "cannot pass map_type 1 into func bpf_get_local_storage",
42 .errstr = "fd 1 is not pointing to valid bpf_map",
58 .errstr = "invalid access to map value, value_size=64 off=256 size=4",
74 .errstr = "invalid access to map value, value_size=64 off=-2 size=4",
91 .errstr = "get_local_storage() doesn't support non-zero flags",
107 .errstr = "get_local_storage() doesn't support non-zero flags",
139 .errstr = "cannot pass map_type 1 into func bpf_get_local_storage",
152 .errstr = "fd 1 is not pointing to valid bpf_map",
184 .errstr = "invalid access to map value, value_size=64 off=-2 size=4",
201 .errstr = "get_local_storage() doesn't support non-zero flags",
[all …]
|
| A D | ctx_skb.c | 38 .errstr = "invalid bpf_context access",
58 .errstr = "different pointers",
80 .errstr = "different pointers",
103 .errstr = "different pointers",
114 .errstr = "invalid bpf_context access",
124 .errstr = "invalid bpf_context access",
134 .errstr = "invalid bpf_context access",
144 .errstr = "invalid bpf_context access",
154 .errstr = "invalid bpf_context access",
164 .errstr = "invalid bpf_context access",
[all …]
|
| A D | ref_tracking.c | 9 .errstr = "Unreleased reference",
20 .errstr = "Unreleased reference",
34 .errstr = "Unreleased reference",
49 .errstr = "Unreleased reference",
60 .errstr = "Unreleased reference",
71 .errstr = "Unreleased reference",
84 .errstr = "Unreleased reference",
208 .errstr = "Unreleased reference",
627 .errstr = "!read_ok",
677 .errstr = "invalid mem access",
[all …]
|
| A D | bounds_deduction.c | 10 .errstr = "R0 tried to subtract pointer from scalar",
38 .errstr = "R0 tried to subtract pointer from scalar",
66 .errstr = "R0 tried to subtract pointer from scalar",
79 .errstr = "R0 tried to subtract pointer from scalar",
93 .errstr = "dereference of modified ctx ptr",
108 .errstr = "dereference of modified ctx ptr",
121 .errstr = "R0 tried to subtract pointer from scalar",
134 .errstr = "math between ctx pointer and register with unbounded min value is not allowed",
|
| A D | ctx.c | 8 .errstr = "BPF_ST stores into R1 ctx is not allowed",
19 .errstr = "BPF_ATOMIC stores into R1 ctx is not allowed",
33 .errstr = "dereference of modified ctx ptr",
61 .errstr = "dereference of modified ctx ptr",
75 .errstr = "dereference of modified ctx ptr",
91 .errstr = "variable ctx access var_off=(0x0; 0x4)",
130 .errstr = "R1 type=inv expected=ctx",
144 .errstr = "dereference of modified ctx ptr",
196 .errstr = "R1 type=inv expected=ctx",
|
| A D | stack_ptr.c | 47 .errstr = "invalid write to stack R1 off=-79992 size=8",
60 .errstr = "invalid write to stack R1 off=0 size=8",
109 .errstr = "invalid write to stack R1 off=0 size=1",
123 .errstr = "invalid write to stack R1",
136 .errstr = "invalid write to stack",
150 .errstr = "fp pointer offset",
188 .errstr = "invalid write to stack R1 off=-513 size=1",
201 .errstr = "math between fp pointer",
214 .errstr = "invalid write to stack",
226 .errstr = "invalid write to stack",
[all …]
|
| A D | junk_insn.c | 7 .errstr = "unknown opcode 00",
16 .errstr = "BPF_LDX uses reserved fields",
25 .errstr = "unknown opcode ff",
34 .errstr = "unknown opcode ff",
43 .errstr = "BPF_ALU uses reserved fields",
|
| A D | basic_stx_ldx.c | 7 .errstr = "R15 is invalid",
16 .errstr = "R14 is invalid",
25 .errstr = "R14 is invalid",
34 .errstr = "R12 is invalid",
43 .errstr = "R11 is invalid",
|
| A D | ctx_sk_lookup.c | 253 .errstr = "invalid bpf_context access",
266 .errstr = "invalid bpf_context access",
280 .errstr = "invalid bpf_context access",
293 .errstr = "invalid bpf_context access",
307 .errstr = "invalid bpf_context access",
321 .errstr = "invalid bpf_context access",
334 .errstr = "invalid bpf_context access",
348 .errstr = "invalid bpf_context access",
363 .errstr = "invalid bpf_context access",
376 .errstr = "invalid bpf_context access",
[all …]
|
| A D | basic_stack.c | 7 .errstr = "invalid write to stack",
20 .errstr = "invalid indirect read from stack",
30 .errstr = "invalid read from stack",
43 .errstr = "R1 subtraction from stack pointer",
62 .errstr = "misaligned stack access",
|
| A D | raw_stack.c | 14 .errstr = "invalid read from stack R6 off=-8 size=8",
30 .errstr = "R4 min value is negative",
46 .errstr = "R4 min value is negative",
62 .errstr = "invalid zero-sized read",
135 .errstr = "R0 invalid mem access 'inv'",
165 .errstr = "R3 invalid mem access 'inv'",
208 .errstr = "invalid indirect access to stack R3 off=-513 size=8",
224 .errstr = "invalid indirect access to stack R3 off=-1 size=8",
240 .errstr = "R4 min value is negative",
256 .errstr = "R4 unbounded memory access, use 'var &= const' or 'if (var < const)'",
[all …]
|
| A D | cgroup_inv_retcode.c | 7 .errstr = "R0 has value (0x0; 0xffffffff)",
28 .errstr = "R0 has value (0x0; 0x3)",
47 .errstr = "R0 has value (0x2; 0x0)",
57 .errstr = "R0 is not a known value (ctx)",
69 .errstr = "R0 has unknown scalar value",
|
| A D | calls.c | 317 .errstr = "!read_ok",
355 .errstr = "R2 !read_ok",
548 .errstr = "back-edge",
560 .errstr = "back-edge",
640 .errstr = "not an exit",
654 .errstr = "last insn",
669 .errstr = "last insn",
959 .errstr = "call stack",
997 .errstr = "call stack",
2030 .errstr = "!read_ok",
[all …]
|
| A D | ld_ind.c | 10 .errstr = "R1 !read_ok",
22 .errstr = "R2 !read_ok",
34 .errstr = "R3 !read_ok",
46 .errstr = "R4 !read_ok",
58 .errstr = "R5 !read_ok",
|
| A D | var_off.c | 16 .errstr = "variable ctx access var_off=(0x0; 0x4)",
62 .errstr = "invalid variable-offset read from stack R2",
134 .errstr = "R2 invalid mem access 'inv'",
161 .errstr = "invalid unbounded variable-offset indirect access to stack R4",
186 .errstr = "invalid variable-offset indirect access to stack R2",
211 .errstr = "invalid variable-offset indirect access to stack R2",
236 .errstr = "invalid indirect read from stack R2 var_off",
261 .errstr = "invalid indirect read from stack R2 var_off",
315 .errstr = "invalid indirect read from stack R4 var_off",
|
| A D | helper_value_access.c | 54 .errstr = "invalid access to map value, value_size=48 off=0 size=0",
94 .errstr = "R2 min value is negative",
198 .errstr = "R2 min value is negative",
219 .errstr = "R2 min value is negative",
329 .errstr = "R2 min value is negative",
351 .errstr = "R2 min value is negative",
440 .errstr = "R1 unbounded memory access",
513 .errstr = "R1 unbounded memory access",
560 .errstr = "R1 unbounded memory access",
633 .errstr = "R1 min value is negative",
[all …]
|
| A D | xdp_direct_packet_access.c | 15 .errstr = "R3 pointer arithmetic on pkt_end",
33 .errstr = "R3 pointer arithmetic on pkt_end",
67 .errstr = "R1 offset is outside of the packet",
85 .errstr = "R1 offset is outside of the packet",
120 .errstr = "R1 offset is outside of the packet",
157 .errstr = "R1 offset is outside of the packet",
175 .errstr = "R1 offset is outside of the packet",
248 .errstr = "R1 offset is outside of the packet",
266 .errstr = "R1 offset is outside of the packet",
337 .errstr = "R1 offset is outside of the packet",
[all …]
|
| A D | sock.c | 11 .errstr = "invalid mem access 'sock_common_or_null'",
40 .errstr = "invalid sock_common access",
68 .errstr = "invalid mem access 'sock_or_null'",
158 .errstr = "invalid sock access",
231 .errstr = "invalid sock access",
259 .errstr = "invalid mem access 'tcp_sock_or_null'",
311 .errstr = "invalid tcp_sock access",
345 .errstr = "reference has not been acquired before",
430 .errstr = "R3 type=inv expected=fp",
483 .errstr = "invalid indirect read from stack",
[all …]
|
| A D | uninit.c | 7 .errstr = "R2 !read_ok",
16 .errstr = "R15 is invalid",
25 .errstr = "R0 !read_ok",
36 .errstr = "R0 !read_ok",
|
| A D | bounds_mix_sign_unsign.c | 21 .errstr = "unbounded min value",
44 .errstr = "unbounded min value",
69 .errstr = "unbounded min value",
93 .errstr = "unbounded min value",
139 .errstr = "unbounded min value",
207 .errstr = "unbounded min value",
256 .errstr = "unbounded min value",
282 .errstr = "unbounded min value",
307 .errstr = "unbounded min value",
335 .errstr = "unbounded min value",
[all …]
|
| A D | helper_packet_access.c | 33 .errstr = "invalid access to packet",
79 .errstr = "invalid access to packet",
99 .errstr = "invalid access to packet",
135 .errstr = "invalid access to packet",
183 .errstr = "invalid access to packet",
204 .errstr = "invalid access to packet",
316 .errstr = "invalid access to packet",
340 .errstr = "invalid access to packet",
364 .errstr = "R2 min value is negative",
388 .errstr = "R2 min value is negative",
[all …]
|