bpf/verifier/calls.c

2 	"calls: invalid kfunc call not eliminated",
13 	"calls: invalid kfunc call unreachable",
25 	"calls: invalid kfunc call: ptr_to_mem to struct with non-scalar",
40 	"calls: invalid kfunc call: ptr_to_mem to struct with nesting depth > 4",
55 	"calls: invalid kfunc call: ptr_to_mem to struct with FAM",
70 	"calls: invalid kfunc call: reg->type != PTR_TO_CTX",
85 	"calls: invalid kfunc call: void * not allowed in func proto without mem size arg",
100 	"calls: trigger reg2btf_ids[reg->type] for reg->type > __BPF_REG_TYPE_MAX",
119 	"calls: invalid kfunc call: reg->off must be zero when passed to release kfunc",
142 	"calls: invalid kfunc call: don't match first member type when passed to release kfunc",
162 	"calls: invalid kfunc call: PTR_TO_BTF_ID with negative offset",
191 	"calls: invalid kfunc call: PTR_TO_BTF_ID with variable offset",
226 	"calls: invalid kfunc call: referenced arg needs refcounted PTR_TO_BTF_ID",
253 	"calls: valid kfunc call: referenced arg needs refcounted PTR_TO_BTF_ID",
279 	"calls: basic sanity",
291 	"calls: not on unprivileged",
305 	"calls: div by 0 in subprog",
330 	"calls: multiple ret types in subprog 1",
354 	"calls: multiple ret types in subprog 2",
388 	"calls: overlapping caller/callee",
399 	"calls: wrong recursive calls",
414 	"calls: wrong src reg",
425 	"calls: wrong off value",
438 	"calls: jump back loop",
449 	"calls: conditional call",
465 	"calls: conditional call 2",
482 	"calls: conditional call 3",
502 	"calls: conditional call 4",
519 	"calls: conditional call 5",
537 	"calls: conditional call 6",
553 	"calls: using r0 returned by callee",
564 	"calls: using uninit r0 from callee",
575 	"calls: callee is using r1",
588 	"calls: callee using args1",
601 	"calls: callee using wrong args2",
613 	"calls: callee using two args",
632 	"calls: callee changing pkt pointers",
659 	"calls: ptr null check in subprog",
684 	"calls: two calls with args",
705 	"calls: calls with stack arith",
724 	"calls: calls with misaligned stack access",
744 	"calls: calls control flow, jump test",
758 	"calls: calls control flow, jump test 2",
772 	"calls: two calls with bad jump",
794 	"calls: recursive call. test1",
806 	"calls: recursive call. test2",
818 	"calls: unreachable code",
834 	"calls: invalid call",
846 	"calls: invalid call 2",
858 	"calls: jumping across function bodies. test1",
871 	"calls: jumping across function bodies. test2",
884 	"calls: call without exit",
898 	"calls: call into middle of ld_imm64",
912 	"calls: call into middle of other call",
927 	"calls: subprog call with ld_abs in main prog",
950 	"calls: two calls with bad fallthrough",
971 	"calls: two calls with stack read",
993 	"calls: two calls with stack write",
1027 	"calls: stack overflow using two frames (pre-call access)",
1044 	"calls: stack overflow using two frames (post-call access)",
1061 	"calls: stack depth check using three frames. test1",
1084 	"calls: stack depth check using three frames. test2",
1107 	"calls: stack depth check using three frames. test3",
1137 	"calls: stack depth check using three frames. test4",
1182 	"calls: stack depth check using three frames. test5",
1217 	"calls: stack depth check in dead code",
1255 	"calls: spill into caller stack frame",
1271 	"calls: write into caller stack frame",
1288 	"calls: write into callee stack frame",
1302 	"calls: two calls with stack write and void return",
1331 	"calls: ambiguous return value",
1350 	"calls: two calls that return map_value",
1402 	"calls: two calls that return map_value with bool condition",
1456 	"calls: two calls that return map_value with incorrect bool check",
1513 	"calls: two calls that receive map_value via arg=ptr_stack_of_caller. test1",
1585 	"calls: two calls that receive map_value via arg=ptr_stack_of_caller. test2",
1655 	"calls: two jumps that receive map_value via arg=ptr_stack_of_jumper. test3",
1726 	"calls: two calls that receive map_value_ptr_or_null via arg. test1",
1795 	"calls: two calls that receive map_value_ptr_or_null via arg. test2",
1865 	"calls: pkt_ptr spill into caller stack",
1894 	"calls: pkt_ptr spill into caller stack 2",
1926 	"calls: pkt_ptr spill into caller stack 3",
1962 	"calls: pkt_ptr spill into caller stack 4",
1997 	"calls: pkt_ptr spill into caller stack 5",
2031 	"calls: pkt_ptr spill into caller stack 6",
2067 	"calls: pkt_ptr spill into caller stack 7",
2102 	"calls: pkt_ptr spill into caller stack 8",
2143 	"calls: pkt_ptr spill into caller stack 9",
2185 	"calls: caller stack init to zero or map_value_or_null",
2218 	"calls: stack init to zero and pruning",
2248 	"calls: ctx read at start of subprog",
2267 	"calls: cross frame pruning",
2293 	"calls: cross frame pruning - liveness propagation",
2321 	"calls: check_ids() across call boundary",